Title: Functional test generation of digital LSI/VLSI systems using machine symbolic execution technique
First published: 1985
Subjects: Integrated circuits, Very large scale integration, Large scale integration