Formal verification of circuits /
Drechsler, Rolf. ,
Formal verification of circuits / Rolf Drechsler. - x, 179 pages : illustrations ; 24 cm.
079237858X
Electronic circuits --Testing.
Decision trees.
TK7867 / .D73 2000
Formal verification of circuits / Rolf Drechsler. - x, 179 pages : illustrations ; 24 cm.
079237858X
Electronic circuits --Testing.
Decision trees.
TK7867 / .D73 2000