Title :
A quantitative approach to functional debugging
Author :
Kirovski, D. ; Potkonjak, M.
Author_Institution :
Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
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;
Conference_Titel :
Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-8186-8200-0
DOI :
10.1109/ICCAD.1997.643403
