Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita. Automatic partitioning for efficient combinatorial verification. In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 67-72, ACM, 2000. [doi]
No reviews for this publication, yet.