Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Nueva York, EUA :
Springer,
1997, c1997
|
| Colección: | (IFIP Advances in Information and Communication Technology)
|
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Hardware Description Languages and their Applications :
- The Verilog Hardware Description Language /
- SystemVerilog for Hardware Description : RTL Design and Verification /
- Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
- Formal Hardware Verification : Methods and Systems in Comparison /
- Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 /
- Advances in Hardware Design and Verification /