An Efficient Filter-Based Approach for Combinational Verification

Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell. An Efficient Filter-Based Approach for Combinational Verification. In 1999 Design, Automation and Test in Europe (DATE 99), 9-12 March 1999, Munich, Germany. pages 132-137, IEEE Computer Society, 1999. [doi]

Authors

Rajarshi Mukherjee

This author has not been identified. Look up 'Rajarshi Mukherjee' in Google

Jawahar Jain

This author has not been identified. Look up 'Jawahar Jain' in Google

Koichiro Takayama

This author has not been identified. Look up 'Koichiro Takayama' in Google

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google

Jacob A. Abraham

This author has not been identified. Look up 'Jacob A. Abraham' in Google

Donald S. Fussell

This author has not been identified. Look up 'Donald S. Fussell' in Google