A quantitative approach to functional debugging

Authors:
Darko Kirovski;Miodrag Potkonjak
Affiliations:
Computer Science Department, University of California, Los Angeles, CA;Computer Science Department, University of California, Los Angeles, CA
Venue:
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Year:
1997

Citing 7
Cited 3

Static scheduling of synchronous data flow programs for digital signal processing

IEEE Transactions on Computers
Introduction to algorithms

Introduction to algorithms
A new approach to debugging optimized code

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
System design methodology of ultraSPARC-I

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Design-for-debugging of application specific designs

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Fast Prototyping of Datapath-Intensive Architectures

IEEE Design & Test

Enhanced visibility and performance in functional verification by reconstruction

DAC '98 Proceedings of the 35th annual Design Automation Conference
Functional debugging of systems-on-chip

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Fast and scalable hybrid functional verification and debug with dynamically reconfigurable co-simulation

Proceedings of the International Conference on Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

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.