Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Uwe Gläser, Heinrich Theodor Vierhaus. Improving topological ATPG with symbolic techniques. In 13th IEEE VLSI Test Symposium (VTS 95), April 30 - May 3, 1995, Princeton, New Jersey, USA. pages 338-343, IEEE Computer Society, 1995. [doi]
Abstract is missing.