Formal Verification
An Essential Toolkit for Modern VLSI Design
Erik Seligman
Tom Schubert
M V Achutha Kiran Kumar
M. V. Achutha Kiran Kumar
M V Achutha Kiran, M.Tech Kumar
144 €
Publisher: Elsevier Science & Technology
Binding: Paperback
Publication date: 26 May 2023
Dimensions: 190 x 235 x 22 mm
ISBN: 9780323956123
