Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
SIVA: A System for Coverage-Directed State Space Search We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space
 

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

  

Source: Aziz, Adnan - Department of Electrical and Computer Engineering, University of Texas at Austin

 

Collections: Computer Technologies and Information Sciences