A constraint-driven gate-level test generator
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Jervan, Gert
;
Krupnova, Helena
BEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings
1996
/
p. 237-240: ill