Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Carlos Delgado Kloos, Eduard Cerny (edición)
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	Nueva York, EUA : Springer, 1997, c1997
Цуврал:	(IFIP Advances in Information and Communication Technology)
Онлайн хандалт:	Ver documento en línea
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс: Hardware Description Languages and their Applications :

Түргэн харуулах
SystemVerilog for Hardware Description : RTL Design and Verification /
Түргэн харуулах
The Verilog Hardware Description Language /
Түргэн харуулах
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 /
Түргэн харуулах
Advances in Hardware Design and Verification /
Түргэн харуулах
Higher-Level Hardware Synthesis /
Түргэн харуулах
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 /
Түргэн харуулах
Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
Түргэн харуулах
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII.98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3.6 November 1998, Paris, France /
Түргэн харуулах
Distributed Multiple Description Coding : Principles, Algorithms and Systems /
Түргэн харуулах
Introduction to Formal Hardware Verification /
Түргэн харуулах
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /
Түргэн харуулах
Job Descriptions : Models for Careers in Dietetics /
Түргэн харуулах
Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /
Түргэн харуулах
Handbook of Service Description : USDL and Its Methods /
Түргэн харуулах
Handbook of Descriptive Linguistic Fieldwork /
Түргэн харуулах
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Түргэн харуулах
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /
Түргэн харуулах
Force Sensors for Microelectronic Packaging Applications /
Түргэн харуулах
A Systems Description of Flow Through Porous Media /
Түргэн харуулах
Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA . New Hardware Design Methods Survey Chapters /