SIVA Related Publications

• Rarity Based Guided State Space Search
In Proc. of Great Lake Symposium on VLSI, West Lafayette, IN, March 2001.
Malay Ganai and Adnan Aziz.

• SIVA: A System for Coverage Directed State Space Search
In Journal of Electronic Testing: Theory and Applications (JETTA), February 2001.
Malay Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, and Vigyan Singhal.

• On-the-Fly Compression of Logical Circuits
In Proc. of International Workshop on Logic Synthesis, Dana Point, CA, June 2000.
Malay Ganai and Andreas Kuehlmann.
 
• Automatic Lighthouse Generation for Directed State Space Search
In Proc. of Design Automation and Testing in Europe, Paris, France. March 2000.
Praveen Yalagandula, Vigyan Singhal, and Adnan Aziz.
 
• Enhancements to Invariant Verification using SIVA
In Fourth Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'99), San Diego, CA, Nov 1999.
Malay Ganai and Adnan Aziz.
 
• Enhancing Simulation with BDDs and ATPG(Powerpoint Slides) (Postscript Slides)
In Proc. of Design Automation Conference, New Orleans, LA, June 1999.
Malay Ganai, Adnan Aziz, and Andreas Kuehlman.
 
• Equivalence Checking Using Cuts and Heaps
In Proc. of Design Automation Conference, New Orleans, LA, June 1999.
Andreas Kuehlman and Florian Krohm.