A Functional-Level Test Generation Methodology Using Two-Level Representations (1989)

by U Dave, J H Patel
Venue:DAC-26: ACM/IEEE 26th Design Automation Conference