Rajarshi Mukherjee Jawahar Jain Koichiro Takayama Masahiro Fujita Jacob A. Abraham Donald S. Fussell An Efficient Filter-Based Approach for Combinational Verification. 132-137 1999 conf/date/1999 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.1999.761108 db/conf/date/date1999.html#MukherjeeJTFAF99