G-RIDDLE : A Formal Analysis of Logic Designs Condiucive to the Acceleration of Backtracing

Gabriel M. Silberman, Ilan Y. Spillinger. G-RIDDLE : A Formal Analysis of Logic Designs Condiucive to the Acceleration of Backtracing. In Proceedings International Test Conference 1988, Washington, D.C., USA, September 1988. pages 764-772, IEEE Computer Society, 1988.

Authors

Gabriel M. Silberman

This author has not been identified. Look up 'Gabriel M. Silberman' in Google

Ilan Y. Spillinger

This author has not been identified. Look up 'Ilan Y. Spillinger' in Google