Darko Kirovski, M. Potkonjak  Home/Search
Context
Related
| ucla.edu/~darko/paper...dac_symbolic.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucla.edu/~darko/Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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