Drechsler, Rolf
Formal Verification of Circuits Rolf Drechsler - Boston Kluwer Academic Publishers 2000 - viii, 179p.
079237858X
Electronic circuits --Testing.
621.3815 DRE
Formal Verification of Circuits Rolf Drechsler - Boston Kluwer Academic Publishers 2000 - viii, 179p.
079237858X
Electronic circuits --Testing.
621.3815 DRE