Jump to main content

yr 〜
yr

Search results 21

Design for testability, debug and reliability : next generation measures using formal techniques

Design for testability, debug and reliability : next generation measures using formal techniques
Paper図書
Sebastian Huhn, Rolf DrechslerSpringerc2021
Other Libraries in Japan
  • Author HeadingHuhn, Sebastian Drechsler, Rolf

Enhanced virtual prototyping : featuring RISC-V case studies

Enhanced virtual prototyping : featuring RISC-V case studies
Paper図書
Vladimir Herdt, Daniel Große, Rolf DrechslerSpringerc2021
Other Libraries in Japan
  • Author HeadingHerdt, Vladimir Große, Daniel Drechsler, Rolf

In-memory computing : synthesis and optimization [: pbk.]

In-memory computing : synthesis and optimization [: pbk.]
Paper図書
Saeideh Shirinzadeh, Rolf DrechslerSpringerc2020
Other Libraries in Japan
  • Author HeadingShirinzadeh, Saeideh Drechsler, Rolf

In-memory computing : synthesis and optimization : hardcover

In-memory computing : synthesis and optimization : hardcover
Paper図書
Saeideh Shirinzadeh, Rolf DrechslerSpringerc2020
Other Libraries in Japan
  • Author HeadingShirinzadeh, Saeideh Drechsler, Rolf

Natural language processing for electronic design automation : hardback

Natural language processing for electronic design automation : hardback
Paper図書
Mathias Soeken, Rofl Drechsler, editorsSpringerc2020
Other Libraries in Japan
  • Author HeadingSoeken, Mathias Drechsler, Rolf

Formal system verification : state-of-the-art and future trends

Formal system verification : state-of-the-art and future trends
Paper図書
Rolf Drechsler, editorSpringerc2018
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf

Design automation techniques for approximation circuits : verification, synthesis and test

Design automation techniques for approximation circuits : verification, synthesis and test
Paper図書
Arun Chandrasekharan, Daniel Große, Rolf DrechslerSpringerc2019
Other Libraries in Japan
  • Author HeadingChandrasekharan, Arun Grosse, Daniel Drechsler, Rolf

Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs : pbk

Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs : pbk
Paper図書
Vladimir Herdt ; with a preface by Rolf DrechslerSpringerc2016
Other Libraries in Japan
  • Author HeadingHerdt, Vladimir Drechsler, Rolf

High quality test pattern generation and boolean satisfiability

High quality test pattern generation and boolean satisfiability
Paper図書
Stephan Eggersglüß, Rolf DrechslerSpringerc2012
Other Libraries in Japan
  • Author HeadingEggersglüss, Stephan Drechsler, Rolf

Towards a design flow for reversible logic : pbk

Towards a design flow for reversible logic : pbk
Paper図書
Robert Wille, Rolf DrechslerSpringerc2010
Other Libraries in Japan
  • Author HeadingWille, Robert Drechsler, Rolf

Quality-driven SystemC design

Quality-driven SystemC design
Paper図書
Daniel Große, Rolf DrechslerSpringerc2010
Other Libraries in Japan
  • Author HeadingGroße, Daniel Drechsler, Rolf

Debugging at the electronic system level

Debugging at the electronic system level
Paper図書
Frank Rogin, Rolf DrechslerSpringerc2010
Other Libraries in Japan
  • Author HeadingRogin, Frank Drechsler, Rolf

Test pattern generation using Boolean proof engines : hbk.

Test pattern generation using Boolean proof engines : hbk.
Paper図書
by Rolf Drechsler ... [et al.]Springerc2009
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf Eggersglüß, Stephan Fey, Görs...

Advanced formal verification

Advanced formal verification
Paper図書
edited by Rolf DrechslerKluwer Academic Publishers2004
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf

Advanced BDD optimization : hbk

Advanced BDD optimization : hbk
Paper図書
by Rüdiger Ebendt, Görschwin Fey and Rolf DrechslerSpringerc2005
Other Libraries in Japan
  • Author HeadingEbendt, Rüdiger Fey, Görschwin Drechsler, Rolf

Evolutionary algorithms for embedded system design

Evolutionary algorithms for embedded system design
Paper図書
edited by Rolf Drechsler, Nicole DrechslerKluwer Academicc2003
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf Drechsler, Nicole

Towards one-pass synthesis

Towards one-pass synthesis
Paper図書
Rolf Drechsler, Wolfgang GüntherKluwer Academic Publishersc2002
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf Günther, Wolfgang

Formal verification of circuits

Formal verification of circuits
Paper図書
Rolf DrechslerKluwer Academicc2000
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf

Spectral techniques in VLSI CAD

Spectral techniques in VLSI CAD
Paper図書
by Mitchell Aaron Thornton, Rolf Drechsler and D. Michael MillerKluwer Academicc2001
Other Libraries in Japan
  • Author HeadingThornton, Mitchell Aaron Drechsler, Rolf Miller, D. Michael

Binary decision diagrams : theory and implementation

Binary decision diagrams : theory and implementation
Paper図書
Rolf Drechsler, Bernd BeckerKluwer Academicc1998
Other Libraries in Japan
  • Author HeadingDrechsler, Rolf Becker, Bernd
RSS