Logic Verification of Very Large Circuits Using Shark.

Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman

Browse the full VLSID paper archive.