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:

» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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




» 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:






zurück






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt