本文に飛ぶ

年 〜
年

検索結果 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
紙図書
Sebastian Huhn, Rolf DrechslerSpringerc2021
全国の図書館
  • 著者標目Huhn, Sebastian Drechsler, Rolf

Enhanced virtual prototyping : featuring RISC-V case studies

Enhanced virtual prototyping : featuring RISC-V case studies
紙図書
Vladimir Herdt, Daniel Große, Rolf DrechslerSpringerc2021
全国の図書館
  • 著者標目Herdt, Vladimir Große, Daniel Drechsler, Rolf

In-memory computing : synthesis and optimization : hardcover

In-memory computing : synthesis and optimization : hardcover
紙図書
Saeideh Shirinzadeh, Rolf DrechslerSpringerc2020
全国の図書館
  • 著者標目Shirinzadeh, Saeideh Drechsler, Rolf

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

In-memory computing : synthesis and optimization [: pbk.]
紙図書
Saeideh Shirinzadeh, Rolf DrechslerSpringerc2020
全国の図書館
  • 著者標目Shirinzadeh, Saeideh Drechsler, Rolf

Natural language processing for electronic design automation : hardback

Natural language processing for electronic design automation : hardback
紙図書
Mathias Soeken, Rofl Drechsler, editorsSpringerc2020
全国の図書館
  • 著者標目Soeken, Mathias Drechsler, Rolf

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

Formal system verification : state-of-the-art and future trends
紙図書
Rolf Drechsler, editorSpringerc2018
全国の図書館
  • 著者標目Drechsler, Rolf

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

Design automation techniques for approximation circuits : verification, synthesis and test
紙図書
Arun Chandrasekharan, Daniel Große, Rolf DrechslerSpringerc2019
全国の図書館
  • 著者標目Chandrasekharan, 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
紙図書
Vladimir Herdt ; with a preface by Rolf DrechslerSpringerc2016
全国の図書館
  • 著者標目Herdt, Vladimir Drechsler, Rolf

High quality test pattern generation and boolean satisfiability

High quality test pattern generation and boolean satisfiability
紙図書
Stephan Eggersglüß, Rolf DrechslerSpringerc2012
全国の図書館
  • 著者標目Eggersglüss, Stephan Drechsler, Rolf

Towards a design flow for reversible logic : pbk

Towards a design flow for reversible logic : pbk
紙図書
Robert Wille, Rolf DrechslerSpringerc2010
全国の図書館
  • 著者標目Wille, Robert Drechsler, Rolf

Quality-driven SystemC design

Quality-driven SystemC design
紙図書
Daniel Große, Rolf DrechslerSpringerc2010
全国の図書館
  • 著者標目Große, Daniel Drechsler, Rolf

Debugging at the electronic system level

Debugging at the electronic system level
紙図書
Frank Rogin, Rolf DrechslerSpringerc2010
全国の図書館
  • 著者標目Rogin, Frank Drechsler, Rolf

Test pattern generation using Boolean proof engines : hbk.

Test pattern generation using Boolean proof engines : hbk.
紙図書
by Rolf Drechsler ... [et al.]Springerc2009
全国の図書館
  • 著者標目Drechsler, Rolf Eggersglüß, Stephan Fey, Görs...

Advanced formal verification

Advanced formal verification
紙図書
edited by Rolf DrechslerKluwer Academic Publishers2004
全国の図書館
  • 著者標目Drechsler, Rolf

Advanced BDD optimization : hbk

Advanced BDD optimization : hbk
紙図書
by Rüdiger Ebendt, Görschwin Fey and Rolf DrechslerSpringerc2005
全国の図書館
  • 著者標目Ebendt, Rüdiger Fey, Görschwin Drechsler, Rolf

Evolutionary algorithms for embedded system design

Evolutionary algorithms for embedded system design
紙図書
edited by Rolf Drechsler, Nicole DrechslerKluwer Academicc2003
全国の図書館
  • 著者標目Drechsler, Rolf Drechsler, Nicole

Towards one-pass synthesis

Towards one-pass synthesis
紙図書
Rolf Drechsler, Wolfgang GüntherKluwer Academic Publishersc2002
全国の図書館
  • 著者標目Drechsler, Rolf Günther, Wolfgang

Formal verification of circuits

Formal verification of circuits
紙図書
Rolf DrechslerKluwer Academicc2000
全国の図書館
  • 著者標目Drechsler, Rolf

Spectral techniques in VLSI CAD

Spectral techniques in VLSI CAD
紙図書
by Mitchell Aaron Thornton, Rolf Drechsler and D. Michael MillerKluwer Academicc2001
全国の図書館
  • 著者標目Thornton, Mitchell Aaron Drechsler, Rolf Miller, D. Michael

Binary decision diagrams : theory and implementation

Binary decision diagrams : theory and implementation
紙図書
Rolf Drechsler, Bernd BeckerKluwer Academicc1998
全国の図書館
  • 著者標目Drechsler, Rolf Becker, Bernd
RSS