Test pattern generation using Boolean proof engines /

Saved in:

Bibliographic Details
Main Author:	Drechsler, Rolf (Author)
Format:	Book
Language:	English
Published:	Dordrecht ; London : Springer, 2009
Subjects:	Algebra, Boolean Computer algorithms Computer software > Verification Integrated circuits > Verification
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items