A Formal Non-Heuristic ATPG Approach (1995)

by M Henftling, H Wittmann, K J Antreich
Venue:in Proc. of the European Design Automation Conf