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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.