Verification Techniques for System-Level Design.

Mostrar otras versiones (3)

A must-read in formal and semi-formal verification!

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fujita, Masahiro
Otros Autores: Ghosh, Indradeep, Prasad, Mukul
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington : Elsevier, 2007.
Colección:Morgan Kaufmann series in systems on silicon.
Temas:
Systems on a chip > Testing.
Integrated circuits > Verification.
Formal methods (Computer science)
Circuits intégrés > Vérification.
Méthodes formelles (Informatique)
Integrated circuits > Verification
Acceso en línea:Texto completo
Descripción
Sumario:A must-read in formal and semi-formal verification!
Descripción Física:1 online resource (251 pages)
ISBN:9780080553139
0080553133

Ejemplares similares