Joonhyuk Yoo Manoj Franklin The Filter Checker: An Active Verification Management Approach. 516-524 2006 conf/dft/2006 DFT http://doi.ieeecomputersociety.org/10.1109/DFT.2006.64 db/conf/dft/dft2006.html#YooF06