Vivekananda M. Vedula Texas Development Center Intel Corporation Austin, TX ...  Home/Search
Context
Related
| utexas.edu/~whitney/pdfs/vlsid04.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: utexas.edu/~whitney/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (SAT) techniques, are beginning to be widely used for checking properties of designs. Recent approaches using sequential ATPG techniques, which harness the structural information of the design, have been shown to perform better than SAT-based BMC. However, these techniques require an effective methodology to deal with... (Update)
Active bibliography (related documents): More All
1.4: Formal Verification of a System-on-Chip Using Computation.. - Sen, Bhadra, Garg, Abraham (Correct)
0.5: Functional Design Verification For Microprocessors By Error.. - Van Campenhout (1999) (Correct)
0.5: Unknown - The Commonlyuse Branch-And-Bound (Correct)
Similar documents based on text: More All
0.3: FACTOR: A Hierarchical Methodology for Functional Test.. - Vedula, Abraham (2002) (Correct)
0.2: Ranking of Forward Looking Centers in Hindi - Prasad (2000) (Correct)
0.1: On-Line Error Detecting Constant Delay Adder - Whitney Townsend And (Correct)
BibTeX entry: (Update)
@misc{ texas-program,
author = "Vivekananda Vedula Texas",
title = "Program Slicing for ATPG-Based Property Checking",
url = "citeseer.ist.psu.edu/658257.html" }
Citations (may not include all citations):1097 Automatic Verification of Finite State Concurrent Systems Us.. (context) - Clarke, Emerson et al. - 1986
265 Program Slicing (context) - Weiser - 1984
244 Symbolic Model Checking without BDDs - Biere, Cimatti et al. - 1999
173 the Complexity of VLSI Implementations and Graph Representat.. - Bryant - 1991
140 Using Program Slicing in Software Maintenance - Gallagher, Lyle - 1991
130 Chaff: Engineering an Efficient SAT Solver - Moskewicz, Madigan et al. - 2001
32 Formal Verification in Hardware Design: A Survey - Kern, Greenstreet - 1999
29 Benefits of Bounded Model Checking at an Industrial Setting (context) - Copty, Fix et al. - 2001
27 Implementing Safety Critical Systems: The VIPER Microprocess.. (context) - Cullyer - 1988
14 Program Slicing of Hardware Description Languages - Clarke, Fujita et al. - 1999
13 Extracting Reusable Functions by Flow Graph-Based Program Sl.. - Lanubile, Visaggio - 1997
12 Property Checking via Structural Analysis - Baumgartner, Kuehlmann et al. - 2002
11 DIMACS Series in Discrete Mathematics and Theoretical Comput.. (context) - Du, Gu et al. - 1997
9 Model Checking Based on Sequential ATPG (context) - Boppana, Rajan et al. - 1999
6 A Novel Functional Test Generation Method for Processors usi.. (context) - Tupuri, Abraham - 1997
5 A Program Decomposition Scheme with Applications to Software.. (context) - Lyle, Gallagher - 1989
4 Program Slice Browser (context) - Deng, Kothari et al. - 2001
3 Program Slicing on VHDL Descriptions and Its Evaluation (context) - Ichinose, Iwaihara et al. - 1998
2 Effective Safety Property Checking Using Simulation-Based Se.. - Sheng, Takayama et al. - 2002
2 A Hierarchical Test Generation Approach Using Program Slicin.. (context) - Vedula, Abraham et al. - 2003
2 A Complexity Analysis of Sequential ATPG (context) - Marchok, El-Maleh et al. - 1996
1 Practical Use of Sequential ATPG for Model Checking: Going t.. (context) - Hsiao, Jain - 2001
1 Verifying Properties Using Sequential ATPG (context) - Abraham, Vedula et al. - 2002
1 Using Word-Level ATPG and Modular Arithmetic Constraint-Solv.. (context) - Huang, Cheng - 2001
Documents on the same site (http://www.cerc.utexas.edu/~whitney/pubs.html):
On-Line Error Detecting Constant Delay Adder - Whitney Townsend And (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