DocumentCode
3213290
Title
A quantitative approach to functional debugging
Author
Kirovski, D. ; Potkonjak, M.
Author_Institution
Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
fYear
1997
fDate
9-13 Nov. 1997
Firstpage
170
Lastpage
175
Abstract
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implementation is used for fast application execution; simulation provides complete design observability and controllability. The implementation of the new debugging approach poses several CAD tasks. We formulate the optimization tasks and develop constraint-based heuristics to solve them. Effectiveness of the approach is demonstrated on a set of designs.
Keywords
circuit analysis computing; computer debugging; controllability; error detection; observability; optimisation; program debugging; CAD tasks; application execution; constraint-based heuristics; controllability; cut-based debugging paradigm; design emulation; functional debugging; observability; quantitative approach; Circuit simulation;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on
Conference_Location
San Jose, CA, USA
ISSN
1092-3152
Print_ISBN
0-8186-8200-0
Type
conf
DOI
10.1109/ICCAD.1997.643403
Filename
643403
Link To Document