Circuits and Testing

High Quality Test Pattern Generation and Boolean Satisfiability ◽

10.1007/978-1-4419-9976-4_2 ◽

2012 ◽

pp. 11-40

Author(s):

Stephan Eggersglüß ◽

Rolf Drechsler

Download Full-text