Cover Image

Formal verification of circuits /

Show other versions (1)
Bibliographic Details
Main Author: Drechsler, Rolf
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2000]
Subjects:
Electronic circuits > Testing.
Decision trees.
Description
Physical Description:x, 179 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:079237858X (alk. paper)