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.
Abstract is missing.