Valeria Bertacco – författare
Visar alla böcker från författaren Valeria Bertacco. Handla med fri frakt och snabb leverans.
11 produkter
Scalable Hardware Verification with Symbolic Simulation
Inbunden, 2005
1126 kr
Lägg i varukorg
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner …
Scalable Hardware Verification with Symbolic Simulation
E-bok, 2006
1459 kr
Lägg i varukorg
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner …
Functional Design Errors in Digital Circuits
Diagnosis Correction and Repair
Av Kai-hui Chang, Igor L. Markov m. fl.
Inbunden, 2008
1636 kr
Lägg i varukorg
Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace …
Functional Design Errors in Digital Circuits
Diagnosis Correction and Repair
Av Valeria Bertacco, Igor L. Markov m. fl.
E-bok, 2008
2111 kr
Lägg i varukorg
Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace …
Scalable Hardware Verification with Symbolic Simulation
Häftad, 2010
1123 kr
Lägg i varukorg
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner …
Post-Silicon and Runtime Verification for Modern Processors
Av Ilya Wagner, Valeria Bertacco
Inbunden, 2010
1636 kr
Lägg i varukorg
The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain …
Post-Silicon and Runtime Verification for Modern Processors
Av Valeria Bertacco, Ilya Wagner
E-bok, 2010
2044 kr
Lägg i varukorg
The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain …
Post-Silicon and Runtime Verification for Modern Processors
Av Ilya Wagner, Valeria Bertacco
Häftad, 2014
1636 kr
Lägg i varukorg
The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain …
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Av Valeria Bertacco, Axel Legay
Häftad, 2013
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT …
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Av Axel Legay, Valeria Bertacco
E-bok, 2013
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT …
Functional Design Errors in Digital Circuits
Diagnosis Correction and Repair
Av Kai-hui Chang, Igor L. Markov m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace …
