| | |
Summary: SIVA: A System for Coverage-Directed State Space Search
Abstract
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space
search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques for efficient state
space search. Specifically, the core algorithm uses a combination of ATPG and BDD's to generate "directed" input
vectors, i.e., inputs which cover behavior not excited by simulation. We also present approaches to automatically
generate "lighthouses" that guide the search towards hard-to-reach coverage goals. Experiments demonstrate that
our approach is capable of achieving significantly greater coverage than either simulation or symbolic techniques
in isolation.
Keywords: functional verification, formal methods, guided search, coverage
1
Author Information
Malay Ganai
Praveen Yalagandula
Adnan Aziz
Andreas Kuehlmann
¡
|
