Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.

Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster

Browse the full ATVA paper archive.