Formal Verification: An Essential Toolkit for Modern VLSI Design

Formal Verification: An Essential Toolkit for Modern VLSI Design
Authors: Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran
Get this book Contact Email: girro@qq.com
Publisher: Elsevier Science(2015/7/24)
Language: English
ISBN-10: 0128007273
ISBN-13: 9780128007273
e-ISBN-10: 0128008156
e-ISBN-13: 9780128008157

未经允许不得转载：电子书百科大全 » Formal Verification: An Essential Toolkit for Modern VLSI Design