Formal verification : an essential toolkit for modern VLSI design /

Mostrar otras versiones (3)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Seligman, Erik (Autor), Schubert, E. Thomas, 1959- (Autor), Kumar, M. V. Achutha Kiran (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Waltham, MA : Elsevier Science, [2015]
Temas:
Electronic circuits > Testing.
Integrated circuits > Very large scale integration > Design and construction.
Verilog (Computer hardware description language)
Verilog (Langage de description de matériel informatique)
Electronic circuits > Testing
Integrated circuits > Very large scale integration > Design and construction
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)
Descripción
Descripción Física:1 online resource (1 volume) : illustrations
Bibliografía:Includes bibliographical references and index.
ISBN:9780128008157
0128008156
0128007273
9780128007273

Ejemplares similares