Eduard Cerny – författare
Visar alla böcker från författaren Eduard Cerny. Handla med fri frakt och snabb leverans.
13 produkter
Verification Methodology Manual for SystemVerilog
Av Janick Bergeron, Eduard Cerny m. fl.
Inbunden, 2005
1686 kr
Lägg i varukorg
Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that …
Verification Methodology Manual for SystemVerilog
Av Andy Nightingale, Alan Hunter m. fl.
E-bok, 2005
1622 kr
Lägg i varukorg
Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that …
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
Av Eduard Cerny, Carlos Delgado Kloos
E-bok, 2013
2049 kr
Lägg i varukorg
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the …
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
Av Carlos Delgado Kloos, Eduard Cerny
Inbunden, 1997
1686 kr
Lägg i varukorg
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the …
Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Av Eduard Cerny, Bachir Berkane m. fl.
Inbunden, 1998
1126 kr
Lägg i varukorg
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. …
Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Av Eduard Cerny, Bachir Berkane m. fl.
Häftad, 2012
1095 kr
Lägg i varukorg
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. …
Verification Methodology Manual for SystemVerilog
Av Janick Bergeron, Eduard Cerny m. fl.
Häftad, 2014
1204 kr
Lägg i varukorg
Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that …
Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Av Karim Khordoc, Pierre Girodias m. fl.
E-bok, 2012
1416 kr
Lägg i varukorg
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. …
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
Av Carlos Delgado Kloos, Eduard Cerny
Häftad, 2013
1639 kr
Lägg i varukorg
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the …
SVA: The Power of Assertions in SystemVerilog
Av Eduard Cerny, Surrendra Dudani m. fl.
Inbunden, 2014
1857 kr
Lägg i varukorg
This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides …
SVA: The Power of Assertions in SystemVerilog
Av Dmitry Korchemny, John Havlicek m. fl.
E-bok, 2014
1728 kr
Lägg i varukorg
This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides …
SVA: The Power of Assertions in SystemVerilog
Av Eduard Cerny, Surrendra Dudani m. fl.
Häftad, 2016
1313 kr
Lägg i varukorg
This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides …
