Abstract:
This article surveys recent advances in hybrid approaches for functional verification. These approaches combine multiple verification techniques so that they complement o...Show MoreMetadata
Abstract:
This article surveys recent advances in hybrid approaches for functional verification. These approaches combine multiple verification techniques so that they complement one another, resulting in superior verification effectiveness.
Published in: IEEE Design & Test of Computers ( Volume: 24, Issue: 2, March-April 2007)
DOI: 10.1109/MDT.2007.30
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Computer bugs ,
- Space exploration ,
- Costs ,
- Formal verification ,
- Taxonomy ,
- Circuits ,
- Hardware ,
- Time to market ,
- Delay ,
- Production
- Index Terms
- Hybrid Technique ,
- Functional Verification ,
- Verification Techniques ,
- Essential Step ,
- State Space ,
- Formal Methods ,
- Model Checking ,
- Design Cycle ,
- Combinatorial Explosion ,
- Formal Verification ,
- Verification Tool ,
- Corner Cases ,
- Function Tests ,
- Model Formulation ,
- Circuit Model ,
- Target State ,
- Decision Problem ,
- Engineering Design ,
- Simulation Techniques ,
- Control Logic ,
- External Tools ,
- Automatic Generation ,
- Coverage Metrics ,
- Hamming Distance ,
- Simulation Verification ,
- Large State Space ,
- Safety Properties ,
- Static Graph ,
- Symbolic Processing
- Author Keywords
Contents Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Computer bugs ,
- Space exploration ,
- Costs ,
- Formal verification ,
- Taxonomy ,
- Circuits ,
- Hardware ,
- Time to market ,
- Delay ,
- Production
- Index Terms
- Hybrid Technique ,
- Functional Verification ,
- Verification Techniques ,
- Essential Step ,
- State Space ,
- Formal Methods ,
- Model Checking ,
- Design Cycle ,
- Combinatorial Explosion ,
- Formal Verification ,
- Verification Tool ,
- Corner Cases ,
- Function Tests ,
- Model Formulation ,
- Circuit Model ,
- Target State ,
- Decision Problem ,
- Engineering Design ,
- Simulation Techniques ,
- Control Logic ,
- External Tools ,
- Automatic Generation ,
- Coverage Metrics ,
- Hamming Distance ,
- Simulation Verification ,
- Large State Space ,
- Safety Properties ,
- Static Graph ,
- Symbolic Processing
- Author Keywords
