---
_id: '37002'
abstract:
- lang: eng
  text: HDL-mutation based fault injection and analysis is considered as an important
    coverage metric for measuring the quality of design simulation processes [20,
    3, 1, 2]. In this work, we try to solve the problem of automatic simulation data
    generation targeting HDL mutation faults. We follow a search based approach and
    eliminate the need for symbolic execution and mathematical constraint solving
    from existing work. An objective cost function is defined on the test input space
    and serves the guidance of search for fault-detecting test data. This is done
    by first mapping the simulation traces under a test onto a control and data flow
    graph structure which is extracted from the design. Then the progress of fault
    detection can be measured quantitatively on this graph to be the cost value. By
    minimizing this cost we approach the target test data. The effectiveness of the
    cost function is investigated under an example neighborhood search scheme. Case
    study with a floating point arithmetic IP design has shown that the cost function
    is able to guide effectively the search procedure towards a fault-detecting test.
    The cost calculation time as the search overhead was also observed to be minor
    compared to the actual design simulation time.
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Florian
  full_name: Letombe, Florian
  last_name: Letombe
citation:
  ama: 'Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation
    by Propagation Guided Search. In: <i>Proceedings of Euromicro DSD 2011</i>. IEEE;
    2011. doi:<a href="https://doi.org/10.1109/DSD.2011.83">10.1109/DSD.2011.83</a>'
  apa: Xie, T., Müller, W., &#38; Letombe, F. (2011). HDL-Mutation Based Simulation
    Data Generation by Propagation Guided Search. <i>Proceedings of Euromicro DSD
    2011</i>. <a href="https://doi.org/10.1109/DSD.2011.83">https://doi.org/10.1109/DSD.2011.83</a>
  bibtex: '@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation
    Based Simulation Data Generation by Propagation Guided Search}, DOI={<a href="https://doi.org/10.1109/DSD.2011.83">10.1109/DSD.2011.83</a>},
    booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie,
    Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }'
  chicago: 'Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation
    Data Generation by Propagation Guided Search.” In <i>Proceedings of Euromicro
    DSD 2011</i>. Oulu, Finnland: IEEE, 2011. <a href="https://doi.org/10.1109/DSD.2011.83">https://doi.org/10.1109/DSD.2011.83</a>.'
  ieee: 'T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation
    by Propagation Guided Search,” 2011, doi: <a href="https://doi.org/10.1109/DSD.2011.83">10.1109/DSD.2011.83</a>.'
  mla: Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation
    Guided Search.” <i>Proceedings of Euromicro DSD 2011</i>, IEEE, 2011, doi:<a href="https://doi.org/10.1109/DSD.2011.83">10.1109/DSD.2011.83</a>.
  short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE,
    Oulu, Finnland, 2011.'
date_created: 2023-01-17T09:02:48Z
date_updated: 2025-02-26T14:44:15Z
department:
- _id: '672'
doi: 10.1109/DSD.2011.83
keyword:
- Hardware design languages
- Cost function
- Computational modeling
- Fault detection
- Data models
- Analytical models
- Testing
language:
- iso: eng
place: Oulu, Finnland
publication: Proceedings of Euromicro DSD 2011
publication_identifier:
  isbn:
  - 978-1-4577-1048-3
publisher: IEEE
status: public
title: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
type: conference
user_id: '5786'
year: '2011'
...