See this document in CiteSeerX!

Symbolic Debugging of Optimized Behavioral Specifications (1999)  (Make Corrections)  
Darko Kirovski, M. Potkonjak



  Home/Search   Context   Related

 
View or download:
ucla.edu/~darko/paper...dac_symbolic.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ucla.edu/~darko/Publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the source level. In response to a user query, the debugger must be able to retrieve and display the value of a source variable in a manner consistent with what the user expects with respect to the source statement where execution has halted. However, when a behavioral specification has been optimized using... (Update)

Similar documents (at the sentence level):
33.3%:   Symbolic Debugging Scheme for Optimized Hardware and.. - Koushanfar, Kirovski.. (2000)   (Correct)
26.4%:   Symbolic Debugging of Embedded Hardware and Software - Koushanfar, Kirovski.. (2001)   (Correct)
8.3%:   Improving the Observability and Controllability of.. - Kirovski, Potkonjak.. (1999)   (Correct)

Active bibliography (related documents):   More   All
1.2:   Maximally Fast and Arbitrarily Fast Hardware Efficient.. - Potkonjak, Rabaey (1996)   (Correct)
0.5:   Behavioral-Level Synthesis of Heterogeneous BISR.. - Guerra, Potkonjak.. (1993)   (Correct)
0.5:   Techniques for Functional Test Pattern Execution - On (1997)   (Correct)

Similar documents based on text:   More   All
1.5:   Symbolic Debugging of Globally Optinfized Behavioral.. - Inki Hong Darko   (Correct)
0.1:   Potential-Driven Statistical Ordering of Transformations - Hong, Kirovski, Potkonjak (1997)   (Correct)
0.1:   Cut-based Functional Debugging for Programmable.. - Kirovski, Potkonjak..   (Correct)

BibTeX entry:   (Update)

@misc{ kirovski-symbolic,
  author = "Darko Kirovski and M. Potkonjak",
  title = "Symbolic Debugging of Optimized Behavioral Specifications",
  url = "citeseer.ist.psu.edu/kirovski99symbolic.html" }
Citations (may not include all citations):
4212   Computers and intractability: a guide to the theory of NP-co.. (context) - Garey, Johnson - 1979
3972   Introduction to algorithms (context) - Cormen
296   Logic Minimization Algorithms for VLSI Synthesis (context) - Brayton - 1984
230   Compiler Transformations for High Performance Computing - Bacon - 1994
210   Synchronous data flow (context) - Lee, Messerschmitt - 1987
207   Retiming Synchronous Circuitry (context) - Leiserson, Saxe - 1991
127   Principles of Compiler Design (context) - Aho, Ullman - 1977
114   Fast Prototyping of Datapath-Intensive Architectures (context) - Rabaey - 1991
111   Automatic Program Parallelization - Banerjee - 1993
66   The generation of optimal code for arithmetic expressions (context) - Sethi, Ullman - 1970
37   DOC: a practical approach to sourcelevel debugging of global.. (context) - Coutant - 1988
33   Scheduling synchronous dataflow graphs for efficient looping (context) - Bhattacharyya, Lee - 1993
32   Efficient Parallel Evaluation of Straight-Line Code and Arit.. - Miller - 1988
31   Maximally fast and arbitrarily fast implementation of linear.. (context) - Potkonjak, Rabaey - 1992
29   Programming Languages and Their Compilers: Preliminary Notes (context) - Cocke, Schwartz - 1970
28   A new approach to debugging optimized code (context) - Brooks - 1992
27   System-level synthesis of lowpower hard real-time systems - Kirovski, Potkonjak - 1997
26   Flamel: A High-Level Hardware Compiler (context) - Trickey - 1987
26   Efficient network flow based min-cut balanced partitioning (context) - Yang, Wong - 1994
21   High-Level Algorithm and Architecture Transformations for DS.. (context) - Parhi - 1995
21   Peephole optimization (context) - McKeeman - 1965
18   The future of microprocessors (context) - Yu - 1996
17   Source-level debugging of scalar optimized code (context) - Adl-Tabatabai, Gross - 1996
16   System design methodology of UltraSPARC (context) - Yang - 1995
14   Tree-height minimization in pipelined architectures (context) - Hartley - 1989
12   An Algorithm for Solving Linear Recurrences Systems on Paral.. (context) - Gajski - 1981
9   Redundant Operation Creation: A Scheduling Optimization Tech.. (context) - Lobo, Pangrle - 1991
7   System-on-a-chip cosimulation and compilation (context) - Liem - 1997
7   Time and Parallel Processor Bounds for Linear Recurrence Sys.. (context) - Chen, Kuck - 1975
6   Debugging of behavioral VHDL specifications by source level .. - Koch - 1995
5   Improving the Observability and Controllability of Datapaths.. - Kirovski, Potkonjak et al. - 1999
4   Controllerbased power management for control-flow intensive .. (context) - Dey, Raghunathan et al. - 1999
4   Algorithms for High Level Synthesis Resource Utilization Bas.. (context) - Potkonjak - 1991
3   Analysis of checkpointing schemes with task duplication (context) - Ziv, Bruck - 1998
3   Experiences in testing and debugging the i960 MX VHDL model (context) - Powley, DeGroat - 1994
3   Hi-Pass: A Computer Aided Synthesis System for Fully Paralle.. (context) - Duncan - 1992
3   Transactions on Programming Languages and Systems (context) - Hennessy, of - 1982
2   Cummings Publishing Co (context) - Fischer, Le Blank et al. - 1988
1   superscalar microprocessor with branch buffers (context) - Uchiyama, Gmicro - 1993

Documents on the same site (http://www.cs.ucla.edu/~darko/Publications.htm):   More
Concurrent Algorithm Development and Software.. - Kirovski, Potkonjak   (Correct)
Engineering Change: Methodology and Application to.. - Kirovski, Potkonjak (1999)   (Correct)
Cut-based Functional Debugging for Programmable.. - Kirovski, Potkonjak..   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC