E. M. Clarke .Fujita .P.Rajan, .Reps S. Shankar  Home/Search
Context Related
| cmu.edu/~emc/paper...on%20Languages.pdf 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: cmu.edu/~emc/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hardwaredescriptio languages (HDLs) are usedto day to describe circuits at all levels. In large HDL pro9JJ s, there is a need fo r so urce co de reductio n techniquesto address a myriado fpro blems in foJ al verificat io , design, simulat io , and testing. Pro440 slicing is a static pro-02 analysis technique that allo ws an analyst to aut o atically extract po- io so f pro7J5 s relevant to the aspects being analyzed. We extend proRzR slicing to HDLs, thusallo wingfo aut o atic pro7R4 reductio... (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):
72.1%: Program Slicing of Hardware Description Languages - Clarke, Fujita, Rajan.. (1999) (Correct)
34.6%: Program Slicing for VHDL - Clarke, Fujita, Rajan, Reps.. (1999) (Correct)
18.0%: Program Slicing for Design Automation: An.. - Clarke, Fujita.. (1999) (Correct)
Active bibliography (related documents): More All
0.5: Massively Parallel Programming Languages - A Classification .. - Gellerich, Gutzmann (Correct)
0.1: Interprocedural Slicing Using Dependence Graphs - Horwitz, Reps, Binkley (1990) (Correct)
0.1: Beyond Traditional Program Slicing - Sloane, Holdsworth (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (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):318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
318 IEEE Transactions on Software Engineering (context) - Weiser, slicing - 1984
63 Incremental pro gram testing usingpro gram dependence graphs (context) - Bates, Ho - 1993
57 and practical investigations of an automatic program abstrac.. (context) - Weiser, Formal - 1979
57 Speeding up slicing - rwitz, Reps et al. - 1994
6 Mo del checking VHDL with CV - Deharbe, Shankar et al. - 1997
6 Precise executable interpro cedural slices - Binkley - 1993
2 ACM Transactions on Programming Languages and Systems (context) - rwitz, Prins et al. - 1989
1 Thepro gram dependence graph in a so ftware develo pment env.. (context) - Ottenstein, Ottenstein - 1984
1 slicing based debugging to oR (context) - Weiser, based et al. - 1986
1 300 312E (context) - Ferrante, Ottenstein et al. - 1990
1 Using semantic di#erencing to reduce theco4 o regressio test.. (context) - Binkley - 1992
1 Wiskunde en Info rmatica (context) - Tip, surveyo et al. - 1994
1 Hardware Descriptio Languages (context) - Clarke, Fujita et al. - 1999
1 Proz slicing (context) - allagher, In et al. - 1996
1 Identifying semantic and textual di#erence between two versi.. (context) - Identifying, semantic et al. - 1990
1 VHDL descriptio ns and its applicatio ns (context) - Iwaihara, ura et al. - 1996
1 Using pro-27 slicing inso9 ware maintenance (context) - allagher, Lyle - 1991
1 ProJRR specializatio via pro94- slicing (context) - Reps, Turnidge - 1996
1 and its evaluatio (context) - se, Iwaihara et al. - 1998
1 ated suppo7 fo legacy co de understanding (context) - Ning, Engberts et al. - 1994
1 Slicing pro-52 and its applicatio s to pr oo c o understandi.. (context) - Millett, Teitelbaum - 1994
1 proJ-7 dependences fo reverse engineering (context) - Jackso, llins et al. - 1994
1 ProJ analysi via graph reachability (context) - analysis, reachability et al. - 1997
1 Precise interpro cedural ch o ping (context) - Reps - 1995
1 atic verificat ioo f finitestate c o current system using te.. (context) - Emerso, atic et al. - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~emc/papers.htm): More
Hybrid Spectral Transform Diagrams - Clarke, Fujita, Heinle (1997) (Correct)
Another Look at LTL Model Checking - Clarke, Grumberg, Hamaguchi (1994) (Correct)
Verification of the Futurebus+ Cache Coherence Protocol - Clarke, Grumberg.. (1992) (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