Home Advanced Search

Advanced Search - Page 1

Functional Design Errors in Digital Circuits: Diagnosis, Correction and Repair
  • PDF
  • English
  • Year: 2009
  • Author: Kai-hui Chang, Igor L. Markov, Valeria Bertacco (auth.)
Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2006
  • Author: Valeria Bertacco (auth.)
Multi-Objective Optimization in Physical Synthesis of Integrated Circuits
  • PDF
  • English
  • Year: 2013
  • Author: David A. Papa, Igor L. Markov (auth.)
Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2005
  • Author: Valeria Bertacco
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Design, Analysis and Test of Logic Circuits Under Uncertainty
  • PDF
  • English
  • Year: 2013
  • Author: Smita Krishnaswamy, Igor L. Markov, John P. Hayes (auth.)
Design, Analysis and Test of Logic Circuits Under Uncertainty
  • PDF
  • English
  • Year: 2013
  • Author: Smita Krishnaswamy, Igor L. Markov, John P. Hayes (auth.)
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
  • PDF
  • English
  • Year: 2016
  • Author: Luciano Lavagno and Igor L. Markov
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2010;2011
  • Author: Wagner, Ilya;Bertacco, Valeria
search