Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell. An efficient filter-based approach for combinational verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(11):1542-1557, 1999. [doi]
Abstract is missing.