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.
@inproceedings{SilbermanS88,
title = {G-RIDDLE : A Formal Analysis of Logic Designs Condiucive to the Acceleration of Backtracing},
author = {Gabriel M. Silberman and Ilan Y. Spillinger},
year = {1988},
tags = {analysis, logic},
researchr = {https://researchr.org/publication/SilbermanS88},
cites = {0},
citedby = {0},
pages = {764-772},
booktitle = {Proceedings International Test Conference 1988, Washington, D.C., USA, September 1988},
publisher = {IEEE Computer Society},
}