Sequential logic testing and verification
By: by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton.
Contributors: Devadas, Srinivas.; Newton, A. Richard 1951-
Series: The Kluwer international series in engineering and computer science ;; SECS 163
Publisher: Kluwer Academic; Springer
Published: 1992
Place of publication: Boston
Language: eng
Number of pages: 214
Subjects: Logic circuits -- Testing.; Logic design.; Computer-aided design.
Notes: Includes bibliographical references (p. 199-211) and index.