| | |
Summary: SIVA
User Manual
Malay K. Ganai
Copyright (C) 2000 University of Texas at Austin
SIVA: An Integrated Environment for EÆcient State Space
Exploration
1 Introduction
SIVA (SImulation Veri cation with Augmentation), rst introduced in [1], is a system that
provides a robust and scalable alternative to complete veri cation 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 veri cation methods
used in isolation.
2 Overview
|
