 |
SIVA (SImulation Verification
with Augmentation) provides
a robust and scalable alternative to complete verification 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. |
||||
 |
|||||
Direct questions and comments to: malay@ece.utexas.edu