Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.

Limor Fix Orna Grumberg Amnon Heyman Tamir Heyman Assaf Schuster Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. 11-25 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_4 db/conf/atva/atva2005.html#FixGHHS05