Formal verification of hardware design

edited by Michael Yoeli
Bok · Engelsk · 1990

Utgitt	Los Alamos, CA : IEEE Computer Society Press , c1990
Omfang	IX, 326 s. : ill.
Emner	Computer software - Verification Computer-aided design Integrated circuits - Very large scale integration Design and construction Dataprocessing Verifikasjon Vlsi
ISBN	0818660171. - 0818690178