
Formal Verification: An Essential Toolkit for Modern VLSI Design (PDF/EPUB Version)
$19.99
Description
Author: Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
Series:
Publisher: Morgan Kaufmann
Year: 2023
Edition: 2
Language: English
ISSN: