Reasoning in Boolean networks
Subtitle: logic synthesis and verification using testing techniques
By: by Wolfgang Kunz and Dominik Stoffel.
Contributors: Stoffel, Dominik.
Series: Frontiers in electronic testing
Publisher: Kluwer Academic Publishers
Published: 1997
Place of publication: Boston
Language: eng
Number of pages: 230
Subjects: Integrated circuits -- Very large scale integration -- Testing -- Data processing.; Integrated circuits -- Verification -- Data processing.; Logic design -- Data processing.
Notes: Includes bibliographical references (p. 201-212) and index.