An Efficient Filter-Based Approach for Combinational Verification.

Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell

Browse the full DATE paper archive.