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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares