Co-Verification of Hardware and Software for ARM SoC Design /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Burlington, EUA :
Elsevier : Newnes,
2005, c2005
|
| Col·lecció: | (Embedded Technology Series)
|
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Co-Verification of Hardware and Software for ARM SoC Design /
- SAT-Based Scalable Formal Verification Solutions /
- System-on-a-Chip : Design and Test /
- Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
- Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
- Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /
- Verification and Validation of Modern Software-Intensive Systems /