Introduction to Formal Hardware Verification /
Contenido: 1) Introducción; 2) Funciones booleanas; 3) Aproximación basada en maquinas de estado finito; 4) Lógica preposicional temporal; 5) Lógica de orden superior. Apéndices.
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer
1999, c1999
|
| Temas: | |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: Introduction to Formal Hardware Verification /
- Logic Synthesis and Verification Algorithms /
- Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits /
- SystemVerilog for Hardware Description : RTL Design and Verification /
- Digital VLSI Design and Simulation with Verilog /
- Principios de diseño digital /
- Digital Integrated Circuits : Design-for-Test Using Simulink and Stateflow /