Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

User Manual Malay K. Ganai

Summary: SIVA
User Manual
Malay K. Ganai
Copyright (C) 2000 University of Texas at Austin

SIVA: An Integrated Environment for E∆cient State Space
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


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


Collections: Computer Technologies and Information Sciences