Formal Verification: An Essential Toolkit for Modern VLSI Design

Essential

by: Erik Seligman · Tom Schubert · M V Achutha Kiran Kumar

Paperback

ISBN: 978-0-12-800727-3

ISBN-10: 0-12-800727-3

Morgan Kaufmann · 2015