Advances in Hardware Design and Verification /

Guardado en:

Detalles Bibliográficos
Autor principal:	Hon F. Li, David K. Probst (edición)
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:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Ejemplares similares: Advances in Hardware Design and Verification /

Quick Look
Formal Hardware Verification : Methods and Systems in Comparison /
Quick Look
Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /
Quick Look
Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
Quick Look
Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Quick Look
Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Quick Look
Introduction to Formal Hardware Verification /
Quick Look
Concurrency and Hardware Design : Advances in Petri Nets /
Quick Look
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Quick Look
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /
Quick Look
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Quick Look
Co-Verification of Hardware and Software for ARM SoC Design /
Quick Look
Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /
Quick Look
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Quick Look
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Quick Look
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /
Quick Look
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Quick Look
SystemVerilog for Hardware Description : RTL Design and Verification /
Quick Look
Scrum for Hardware Design : Supporting Material for The Mechanical Design Process /
Quick Look
Embedded Controller Hardware Design /
Quick Look
Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
Quick Look
Multicore Systems On-Chip: Practical Software/Hardware Design /
Quick Look
Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems /
Quick Look
Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA . New Hardware Design Methods Survey Chapters /
Quick Look
Embedded Systems Design and Verification /