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:

» 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