Malay K. Ganai
Copyright (C) 2000 University of Texas at Austin
SIVA: An Integrated Environment for E∆cient State Space
SIVA (SImulation Verication with Augmentation), rst introduced in , is a system that
provides a robust and scalable alternative to complete verication of synchronous hardware
designs. It integrates simulation-based search with symbolic algorithms for coverage-directed
state space exploration. It also provides a framework for future research.
State space exploration has a variety of applications including verifying safety proper-
ties, analysis of third-party RTL code to understand its behavior, generating tests to satisfy
missing coverage, and justifying the reachability of a given state for a combinational equiv-
alence checker. Instead of a complete state space search, SIVA improves on partial state
exploration using guided search techniques. The primary goal of the tool is to help designers
nd bugs in larger quantities and more e∆ciently compared with other verication methods
used in isolation.