E.M. Clarke, M. Fujita, S.P. Rajan, T. Reps, S. Shankar, T. Teitelbaum  Home/Search
Context Related
Links: ACM DBLP | wisc.edu/wpis/papers/charme99.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: wisc.edu/wpis/html/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a myriad of problems in formal verification, design, simulation, and testing. Program slicing is a static program analysis technique that allows an analyst to automatically extract portions of programs relevant to the aspects being analyzed. We extend program slicing to HDLs, thus allowing for automatic program... (Update)
Cited by: More
Formal Verification of a System-on-Chip Using Computation.. - Sen, Bhadra, Garg, Abraham (Correct)
Modular analysis of a circuit description language by abstract.. - Hymans (2002) (Correct)
Program Slicing for ATPG-Based Property Checking - Vivekananda Vedula Texas (Correct)
Similar documents (at the sentence level):
63.8%: Program Slicing of Hardware Description Languages - Clarke Reps (1999) (Correct)
35.1%: Program Slicing for VHDL - Clarke, Fujita, Rajan, Reps.. (1999) (Correct)
21.7%: Program Slicing for Design Automation: An.. - Clarke, Fujita.. (1999) (Correct)
Active bibliography (related documents): More All
0.5: Logic Verification of ANSI-C code with SPIN - Holzmann (2000) (Correct)
0.2: A Survey of Empirical Results on Program Slicing - David Binkley Mark (Correct)
0.1: Program Specialization via Program Slicing - Reps, Turnidge (1995) (Correct)
Similar documents based on text: More All
0.3: Evaluating Context-Sensitive Slicing and Chopping - Krinke (2002) (Correct)
0.2: Barrier Slicing and Chopping - Jens Krinke Universit (2003) (Correct)
0.2: bibliography of Conceptual Program Editors: Design and Formal.. - Bucci (1997) (Correct)
Related documents from co-citation: More All
8: Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
5: A Survey of Program Slicing Techniques - Tip - 1995
5: The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
BibTeX entry: (Update)
E.M. Clarke, M. Fujita, S.P. Rajan, T. Reps, S. Shankar, and T. Teitelbaum. Program slicing of hardware description languages. Technical Report CMU-CS99 -103, Carnegie Mellon University, 1999. http://citeseer.ist.psu.edu/article/clarke99program.html More
@inproceedings{ clarke99program,
author = "Edmund M. Clarke and Masahiro Fujita and Sreeranga P. Rajan and Thomas W. Reps and Subash Shankar and Tim Teitelbaum",
title = "Program Slicing of Hardware Description Languages",
booktitle = "Conference on Correct Hardware Design and Verification Methods",
pages = "298-312",
year = "1999",
url = "citeseer.ist.psu.edu/article/clarke99program.html" }
Citations (may not include all citations):1097 Automatic verification of finitestate concurrent systems usi.. (context) - Clarke, Emerson et al. - 1986
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
267 Computer-Aided Verification of Coordinating Processes (context) - Kurshan - 1994 ACM
186 The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984 ACM DBLP
140 Using program slicing in software maintenance - Gallagher, Lyle - 1991
135 Integrating non-interfering versions of programs (context) - Horwitz, Prins et al. - 1989
63 Incremental program testing using program dependence graphs (context) - Bates, Horwitz - 1993 ACM DBLP
57 Speeding up slicing - Horwitz, Reps et al. - 1994
57 and practical investigations of an automatic program abstrac.. (context) - Weiser, Formal - 1979
49 Centrum voor Wiskunde en Informatica - Tip, of et al. - 1994
47 Program specialization via program slicing - Reps, Turnidge - 1996 ACM DBLP
47 Program analysis via graph reachability - Reps - 1997 ACM DBLP
45 Automated support for legacy code understanding (context) - Ning, Engberts et al. - 1994 ACM DBLP
40 Program slicing (context) - Binkley, Gallagher - 1996 ACM DBLP
38 Identifying the semantic and textual differences between two.. - Horwitz - 1990 ACM DBLP
34 A new model of program dependences for reverse engineering (context) - Jackson, Rollins - 1994 ACM DBLP
26 Using semantic differencing to reduce the cost of regression.. - Binkley - 1992
19 Experiments on slicing-based debugging tools (context) - Lyle, Weiser - 1986
14 Program slicing of hardware description languages - Clarke, Fujita et al. - 1999 ACM DBLP
12 ACM Letters on Programming Languages and Systems (context) - Binkley, interprocedural - 1993
9 Program slicing on VHDL descriptions and its applications - Iwaihara, Nomura et al. - 1996
6 Model checking VHDL with CV - D'eharbe, Shankar et al. - 1997 ACM DBLP
5 SIGSOFT 95: Proceedings of the Third ACM SIGSOFT Symposium o.. (context) - Reps, Rosay et al. - 1995
3 Program slicing on VHDL descriptions and its evaluation (context) - Ichinose, Iwaihara et al. - 1998
2 Slicing promela and its applications to protocol understandi.. (context) - Millett, Teitelbaum - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wisc.edu/wpis/html/): More
Coping with Type Casts in C - Siff, Chandra, Kunchithapadam, Reps (1999) (Correct)
Physical Type Checking for C - Chandra, Reps (1999) (Correct)
Physical Type Checking for C - Chandra, Reps (1999) (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