Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

ICCAD
1997
IEEE

favoriteEmaildiscussreport

53views Hardware» more ICCAD 1997»

A quantitative approach to functional debugging

13 years 8 months ago

A quantitative approach to functional debugging

Download www.cs.ucla.edu

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. E ectiveness of the approach is demonstrated on a set of designs.

Darko Kirovski, Miodrag Potkonjak

Real-time Traffic

Design Emulation | Fast Application Execution | Fast Transition | Hardware | ICCAD 1997 |

claim paper

Related Content

» A Framework for Interpreting Traces of Functional Logic Computations

» Functional debugging of systemsonchip

» Debug all your code portable mixedenvironment debugging

» Debugging Optimised Code Using Function Interpretation

» Debugging of Dependability Models Using Interactive Visualization of Counterexamples

» A Declarative Debugging System for Lazy Functional Logic Programs

» Evaluating process clusters to support automatic program understanding

» An Approach for Quantitative Analysis of ApplicationSpecific Dataflow Architectures

» Latch Divergency In Microprocessor Failure Analysis

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1997
Where	ICCAD
Authors	Darko Kirovski, Miodrag Potkonjak

Comments (0)