Formal Verification
Subtitle: An Essential Toolkit for Modern VLSI Design
Publisher: Elsevier Science & Technology
Published: 2023
Language: eng
ISBN-13: 9780323956123