Sale
Formal Verification : An Essential Toolkit for Modern VLSI Design
Elsevier Science & Technology
$105.63
$93.61
(No reviews yet)
Write a Review
Elsevier Science & Technology
Formal Verification : An Essential Toolkit for Modern VLSI Design
- | Author: Erik Seligman (Senior Product Engineering Architect, Cadence Design Systems, Hillsboro, OR, USA), Tom Schubert (Electrical and Computer Engineering faculty, Portland State University, Portland, Oregon, USA), M V Achutha Kiran Kumar (Intel Fellow, Formal Verification Central Technology Office, Intel, Bangalore, India)
- | Publisher: Elsevier Science & Technology
- | Publication Date: May 01, 2023
- | Country of Publication: United Kingdom
- | Number of Pages: 508 pages
- | Language: NA
- | Binding: Paperback / softback
- | ISBN-10: 0323956122
- | ISBN-13: 9780323956123
- By (Author):
- Erik Seligman (Senior Product Engineering Architect, Cadence Design Systems, Hillsboro, OR, USA), Tom Schubert (Electrical and Computer Engineering faculty, Portland State University, Portland, Oregon, USA), M V Achutha Kiran Kumar (Intel Fellow, For
- Publisher:
- Elsevier Science & Technology
- Publication Date:
- May 01, 2023
- Country of Publication:
- United Kingdom
- Language:
- NA
- Number of pages:
- 508 pages
- Binding:
- Paperback / softback
- ISBN-10:
- 0323956122
- ISBN-13:
- 9780323956123