SAT-Based Scalable Formal Verification Solutions
Publisher: Springer
Published: Nov 19, 2010
Format: paperback
Number of pages: 360
ISBN-13: 9781441943415
Notes: Source title: SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)