Automatic partitioning for efficient combinatorial verification.

Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita

Browse the full ASPDAC paper archive.