Formal Verification:An Essential Toolkit for Modern VLSI Design

by: Seligman, Erik; Schubert, Tom; Kumar, M V Achutha Kiran

Publisher: Elsevier Science(2015/7/24)

Language: English

ISBN-10: 0128007273

ISBN-13: 9780128007273

e-ISBN-10: 0128008156

e-ISBN-13: 9780128008157