Home Advanced Search

Advanced Search - Page 1

Test Pattern Generation using Boolean Proof Engines
  • PDF
  • English
  • Year: 2009
  • Author: Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
Test pattern generation using Boolean proof engines
  • PDF
  • English
  • Year: 2009
  • Author: Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
Advanced BDD Optimization
  • PDF
  • English
  • Year: 2005
  • Author: Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Advanced BDD Optimization
  • PDF
  • English
  • Year: 2005
  • Author: Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Robustness and Usability in Modern Design Flows
  • PDF
  • English
  • Year: 2008
  • Author: Goerschwin Fey, Rolf Drechsler
High Quality Test Pattern Generation and Boolean Satisfiability
  • PDF
  • English
  • Year: 2012
  • Author: Stephan Eggersglüß, Rolf Drechsler (auth.)
Test digitaler Schaltkreise
  • PDF
  • German
  • Year: 2014
  • Author: Stephan Eggersglüß; Görschwin Fey; Ilia Polian
Test digitaler Schaltkreise
  • EPUB
  • German
  • Year: 2014
  • Author: Stephan Eggersglüß; Görschwin Fey; Ilia Polian
Quality-Driven SystemC Design
  • PDF
  • English
  • Year: 2010
  • Author: Daniel Große, Rolf Drechsler (auth.)
Advanced BDD optimization
  • PDF
  • English
  • Year: 2005
  • Author: Rüdiger Ebendt; Görschwin Fey; Rolf Drechsler
search