Cargando…

Formal verification: an essential toolkit for modern VLSI design

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice for working engineers integrating these techniques into their work. Building on a basic knowledge of System Verilog, this book demystifies FV and present...

Descripción completa

Detalles Bibliográficos
Autores principales: Seligman, Erik, Schubert, Tom, Kumar, M V Achutha Kiran
Lenguaje:eng
Publicado: Elsevier Science 2015
Materias:
Acceso en línea:http://cds.cern.ch/record/2043121