• Publications
  • Influence
Abstraction Techniques for Validation Coverage Analysis and Test Generation
The enormous state spaces which must be searched when verifying the correctness of, or generating tests for, complex circuits precludes the use of traditional approaches. Hard-to-find abstractionsExpand
  • 122
  • 5
  • PDF
Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors
Simulation is still the primary, although inadequate, resource for verifying the conformity of a design to its functional specification. Fortunately, most errors in the early stages of design involveExpand
  • 51
  • 1
Eecient Variable Ordering and Partial Representation Algorithms
In this paper we introduce some new methods for constructing Ordered Partial Decision Diagrams (OPDDs). The algorithms are eeective in capturing a signiicant fraction of a given function's truthExpand
  • 3
  • 1
A unified framework for design validation and manufacturing test
New approaches to address the difficult problems in test are necessary if its current status as a major bottleneck in the production of quality integrated circuits is to be changed. The authorsExpand
  • 39
Distributed binary decision diagrams for verification of large circuits
Binary Decision Diagrams (BDDs) are widely used for efficiently representing logic designs and for verifying their equivalence. However, they often require large amounts of memory even for relativelyExpand
  • 15
  • PDF
Using verification technology for validation coverage analysis and test generation
Despite great advances in Formal Verification (FV) simulation is still the primary means for design validation. The definition of pragmatic measures for the coverage achieved and the problem ofExpand
  • 3
Analysis of composition complexity and how to obtain smaller canonical graphs
We discuss an open problem in construction of Reduced Ordered Binary Decision Diagrams (ROBDDs) using composition, and prove that the worst case complexity of the construction is truly cubic. WithExpand
  • 7
  • PDF
Efficient variable ordering and partial representation algorithm
In this paper we introduce some new methods for constructing Ordered Partial Decision Diagrams (OPDDs), The algorithms are effective in capturing a significant fraction of a given function's truthExpand
  • 11
A new scheme to compute variable orders for binary decision diagrams
Introduces some new methods for estimating the "importance" of a variable in a Boolean function, and uses them to compute variable orders for OBDD construction. These measures are based onExpand
  • 9
On Design Validation Using Verification Technology
Despite great advances in the area of Formal Verification during the last ten years, simulation is currently the primary means for performing design verification. The definition of an accurate andExpand
  • 2