Abstraction-Guided Simulation Using Markov Analysis for Functional Verification
- 3 April 2015
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 35 (2), 285-297
- https://doi.org/10.1109/tcad.2015.2419622
Abstract
This paper presents a novel abstraction-guided simulation approach for functional verification. The results of Markov analysis of the abstract model of the design under verification are used as the guidance of simulation on the concrete design. The results of the Markov analysis can offer the information about how hard it is to reach each abstract state from the initial state, and how hard it is to reach certain target states from each abstract state. Such information is able to guide the simulation in two aspects: 1) in exploring abstract state space and 2) in exercising target state. Assuming a good abstract model, experimental results show that the simulation using Markov analysis as guidance is highly efficient in both aspects.Keywords
Funding Information
- National Natural Science Foundation of China (61432017, 61176040, 61221062)
- National Basic Research Program of China (973) (2011CB302501)
This publication has 20 references indexed in Scilit:
- Reconsidering Cegar: learning good abstractions without refinementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Guiding simulation with increasingly refined abstract tracesProceedings of the 39th conference on Design automation - DAC '02, 2006
- EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided SimulationLecture Notes in Computer Science, 2006
- Automatic Abstraction without CounterexamplesLecture Notes in Computer Science, 2003
- Automatic lighthouse generation for directed state space searchPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict AnalysisLecture Notes in Computer Science, 2002
- Abstraction techniques for validation coverage analysis and test generationInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 1998
- Markovian analysis of large finite state machinesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
- Coverage-directed test generation using symbolic techniquesLecture Notes in Computer Science, 1996
- Architecture validation for processorsPublished by Association for Computing Machinery (ACM) ,1995