Item Tag: Formal Verification

Formal Verification An Essential Toolkit for Modern VLSI Design

Soft back 2015 Edition, text clean and tight, 353 pages, slight bend on top right corner of the cover.