Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Buchbeiträge

Sortieren nach: [ Kapiteltitel ] [ Verlag ] [ Autor ] [ Format ] [ Jahr ]
Suche nach:

» On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Autor:Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Herausgeber:Franco Fummi, Robert Wille
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Verlag:Springer
Seiten:39-58
Erscheinungsjahr:2018
Format:Hardcover
 Mehr Informationen




» Logic Synthesis for Majority based In-Memory Computing
Großformat des Buches: Advances in Memristors, Memristive Devices and Systems
Autor:Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Herausgeber:Sundarapandian Vaidyanathan, Christos Volos
Buchtitel:Advances in Memristors, Memristive Devices and Systems
Verlag:Springer
Seiten:425 - 448
Erscheinungsjahr:2017
Format:Hardcover
 Mehr Informationen




» A framework for reversible circuit complexity
Großformat des Buches: Problems and New Solutions in the Boolean Domain
Autor:Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Herausgeber:Bernd Steinbach
Buchtitel:Problems and New Solutions in the Boolean Domain
Verlag:Cambridge Scholars Publishing
Seiten:327 - 341
Erscheinungsjahr:2016
Format:Paperback
 Mehr Informationen




» Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design
Autor:Oliver Keszöcze, Robert Wille
Herausgeber:Frank Oppenheimer, Julio Luis Medina Pasaje
Buchtitel:Languages, Design Methods, and Tools for Electronic System Design
Verlag:Springer
Seiten:101—112
Erscheinungsjahr:2016
Format:gebunden
 Mehr Informationen




» Formal Verification of SystemC-based Cyber Components
Großformat des Buches: Industrial Internet of Things: Cybermanufacturing Systems
Autor:Daniel Große, Hoang M. Le, Rolf Drechsler
Herausgeber:Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Buchtitel:Industrial Internet of Things: Cybermanufacturing Systems
Verlag:Springer
Seiten:137-167
Erscheinungsjahr:2016
Format:Hardcover
 Mehr Informationen




» Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2015
Autor:Hoang M. Le
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2015
Verlag:GI
Seiten:179-188
Erscheinungsjahr:2016
Format:Paperback




» Formal Specification Level
Großformat des Buches: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Autor:Rolf Drechsler, Mathias Soeken, Robert Wille
Herausgeber:Jan Haase
Buchtitel:Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012
Verlag:Springer
Seiten:37-52
Erscheinungsjahr:2014
Format:Hardcover
 Mehr Informationen




» Formale Spezifikationsebene
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2013
Autor:Mathias Soeken
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2013
Verlag:GI
Seiten:241-250
Erscheinungsjahr:2014
Format:Paperback




» Assessing System Vulnerability Using Formal Verification Techniques
Großformat des Buches: Mathematical and Engineering Methods in Computer Science
Autor:Görschwin Fey
Herausgeber:Zdeněk Kotásek, Jan Bouda, Ivana Černá, LukᚠSekanina, TomᚠVojnar, David Antoš
Buchtitel:Mathematical and Engineering Methods in Computer Science
Verlag:Springer
Seiten:47-56
Erscheinungsjahr:2012
Format:Hardcover
 Mehr Informationen




» Evaluating Debugging Algorithms from a Qualitative Perspective
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Autor:Alexander Finder, Görschwin Fey
Herausgeber:Tom J. Kazmierski, Adam Morawiec
Buchtitel:System Specification and Design Languages: Selected Contributions from FDL 2010
Verlag:Springer
Seiten:21-36
Erscheinungsjahr:2012
Format:Hardcover
 Mehr Informationen




» SyReC: A Programming Language for Synthesis of Reversible Circuits
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010
Autor:Robert Wille, Sebastian Offermann, Rolf Drechsler
Herausgeber:Tom J. Kazmierski, Adam Morawiec
Buchtitel:System Specification and Design Languages: Selected Contributions from FDL 2010
Verlag:Springer
Seiten:207-222
Erscheinungsjahr:2012
Format:Hardcover
 Mehr Informationen




» Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Großformat des Buches: Design and Test Technology for Dependable Systems-on-Chip
Autor:Daniel Große, Görschwin Fey, Rolf Drechsler
Herausgeber:Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus
Buchtitel:Design and Test Technology for Dependable Systems-on-Chip
Verlag:Information Science Reference
Seiten:119-129
Erscheinungsjahr:2011
Format:Hardcover




» Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2010
Autor:Stephan Eggersglüß
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2010
Verlag:GI
Seiten:81-90
Erscheinungsjahr:2011
Format:Paperback




» Ein Entwurfsablauf für Reversible Schaltkreise
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2009
Autor:Robert Wille
Herausgeber:S. Hölldobler et al.
Buchtitel:Ausgezeichnete Informatikdissertationen 2009
Verlag:GI
Seiten:291-300
Erscheinungsjahr:2010
Format:Paperback




» SMT-based Stimuli Generation in the SystemC Verification Library
Großformat des Buches: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
Autor:Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Herausgeber:Dominique Borrione
Buchtitel:Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
Verlag:Springer
Seiten:227-244
Erscheinungsjahr:2010
Format:Hardcover




» Synthesis of Boolean Functions in Reversible Logic
Großformat des Buches: Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
Autor:Robert Wille, Rolf Drechsler
Herausgeber:Tsutomu Sasao, Jon T. Butler, Mitchell Thornton
Buchtitel:Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
Verlag:Morgan and Claypool Publishers
Seiten:75-92
Erscheinungsjahr:2010
Format:Paperback




» Debugging Contradictory Constraints in Constraint-based Random Simulation
Großformat des Buches: Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
Autor:Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
Herausgeber:Martin Radetzki
Buchtitel:Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
Verlag:Springer
Seiten:273-290
Erscheinungsjahr:2009
Format:gebunden




» Non-Clausal SAT and ATPG
Großformat des Buches: Handbook of Satisfiability
Autor:Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
Herausgeber:A. Biere, M. Heule, H. van Maaren, T. Walsh
Buchtitel:Handbook of Satisfiability
Verlag:IOS Press
Seiten:655-693
Erscheinungsjahr:2009
Format:gebunden
 Mehr Informationen




» Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2008
Autor:Daniel Große
Herausgeber:Dorothea Wagner
Buchtitel:Ausgezeichnete Informatikdissertationen 2008
Verlag:GI
Seiten:121-130
Erscheinungsjahr:2009
Format:Paperback




» SWORD: A SAT like Prover Using Word Level Information
Großformat des Buches: VLSI-SoC: Advanced Topics on Systems on a Chip:
A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip
Autor:Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
Herausgeber:Ricardo Reis, Vincent Mooney, Paul Hasler
Buchtitel:VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip
Verlag:Springer
Seiten:175-192
Erscheinungsjahr:2009
Format:Hardcover




» An Integrated SystemC Debugging Environment
Großformat des Buches: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Autor:Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
Herausgeber:Eugenio Villar
Buchtitel:Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Verlag:Springer
Seiten:59-71
Erscheinungsjahr:2008
Format:gebunden




» Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
Großformat des Buches: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Autor:Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
Herausgeber:Eugenio Villar
Buchtitel:Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Verlag:Springer
Seiten:73-86
Erscheinungsjahr:2008
Format:gebunden




» Exact BDD Minimization for Path-Related Objective Functions
Großformat des Buches: VLSI-SoC: From Systems to Silicon
Autor:Rüdiger Ebendt, Rolf Drechsler
Herausgeber:Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer
Buchtitel:VLSI-SoC: From Systems to Silicon
Verlag:Springer
Seiten:299-315
Erscheinungsjahr:2007
Format:gebunden




» Non-Intrusive High-level SystemC Debugging
Advances in Design and Specification Languages for Embedded Systems
Autor:Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
Herausgeber:Sorin A. Huss
Buchtitel:Advances in Design and Specification Languages for Embedded Systems
Verlag:Springer
Seiten:131-144
Erscheinungsjahr:2007
Format:gebunden
 Mehr Informationen




» Automatic Test Pattern Generation
Großformat des Buches: Formal Methods for Hardware Verification, LNCS 3965
Autor:Rolf Drechsler, Görschwin Fey
Herausgeber:Marco Bernardo, Alessandro Cimatti
Buchtitel:Formal Methods for Hardware Verification, LNCS 3965
Verlag:Springer
Seiten:30-55
Erscheinungsjahr:2006
Format:gebunden




» Exploration of Sequential Depth by Evolutionary Algorithms
VLSI-SOC: From Systems to Chips
Autor:Nicole Drechsler, Rolf Drechsler
Herausgeber:M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Buchtitel:VLSI-SOC: From Systems to Chips
Verlag:Springer Boston
Seiten:73-83
Erscheinungsjahr:2006
Format:gebunden
 Mehr Informationen




» Processor Verification
Großformat des Buches: Customizable Embedded Processors
Autor:Daniel Große, Robert Siegmund, Rolf Drechsler
Herausgeber:Paolo Ienne, Rainer Leupers
Buchtitel:Customizable Embedded Processors
Verlag:Elsevier
Seiten:281-302
Erscheinungsjahr:2006
Format:gebunden




» Stuck-At-Fault Testability of SPP Three-Level Logic Forms
VLSI-SOC: From Systems to Chips
Autor:V. Ciriani, A. Bernasconi, Rolf Drechsler
Herausgeber:M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Buchtitel:VLSI-SOC: From Systems to Chips
Verlag:Springer
Seiten:299-313
Erscheinungsjahr:2006
Format:gebunden
 Mehr Informationen




» System-level validation using formal techniques
Großformat des Buches: System-on-Chip: Next Generation Electronics
Autor:Rolf Drechsler, Daniel Große
Herausgeber:Bashir M. Al-Hashimi
Buchtitel:System-on-Chip: Next Generation Electronics
Verlag:The IEE
Seiten:715-745
Erscheinungsjahr:2006
Format:gebunden




» 
Autor:
Herausgeber:
Buchtitel:
Verlag:
Seiten:
Erscheinungsjahr:
Format:







English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt