Issue No.03 - July-September (1999 vol.16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.785838
Digital designers normally proceed from behavioral specification to logic circuit; rarely do they need to go in the reverse direction. One such situation is examined here: recovering the high-level specifications of a popular set of benchmark logic circuits. The authors present their methodology and experience in reverse engineering the ISCAS-85 circuits. They also discuss a few of the practical uses of the resulting high-level benchmarks and make them available for other researchers to use.
Mark C. Hansen, Hakan Yalcin, John P. Hayes, "Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering", IEEE Design & Test of Computers, vol.16, no. 3, pp. 72-80, July-September 1999, doi:10.1109/54.785838