Reasoning in Boolean networks : logic synthesis and verification using testing techniques

by Wolfgang Kunz and Dominik Stoffel
Bok · Engelsk · 1997

Utgitt	Boston : Kluwer , c1997
Omfang	XV, 230 s. : ill.
Emner	Integrated circuits - Verification Data processing Integrated circuits - Very large scale integration Testing Data processing Logic design - Data processing Telenett - Matematiske modeller
ISBN	0792399218