Functional Test Generation of Digital LSI/VLSI Systems Using Machine Symbolic Execution Technique.

Tonysheng Lin, Stephen Y. H. Su

Browse the full ITC paper archive.