Conference proceeding
A method for diagnosing implementation errors in synchronous sequential circuits and its implications on synthesis
Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference, pp.252-258
European Design Automation Conference (Hamburg, Germany, 09/20/1993–09/24/1993)
1993
DOI: 10.1109/EURDAC.1993.410646
Abstract
The authors consider the problem of diagnosing implementation errors in synchronous sequential circuits described by state tables. The diagnosis problem is formulated so as to provide the erroneously implemented entries of the state table, which are useful for the purposes of debugging the synthesis procedure. The diagnosis procedure developed is not limited to a specific error model and no bound is set on error multiplicity. Experimental results are presented to show the effectiveness of this procedure. The experiments indicate that state tables with certain properties make their implementations more amenable to diagnosis than others. These properties are used as guidelines for synthesis.< >
Details
- Title: Subtitle
- A method for diagnosing implementation errors in synchronous sequential circuits and its implications on synthesis
- Creators
- I Pomeranz - University of IowaS.M Reddy - University of Iowa
- Resource Type
- Conference proceeding
- Publication Details
- Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference, pp.252-258
- Conference
- European Design Automation Conference (Hamburg, Germany, 09/20/1993–09/24/1993)
- DOI
- 10.1109/EURDAC.1993.410646
- Publisher
- IEEE Comput. Soc. Press
- Language
- English
- Date published
- 1993
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984198019002771
Metrics
25 Record Views