Homepage Sitemap Contact




Home « Publications « Book contributions

Sort: [ Title ] [ Publisher ] [ Author ] [ Format ] [ Year ]
Search:

» Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Großformat des Buches: Ausgezeichnete Informatikdissertationen 2008
Author:Daniel Große
Editor:Dorothea Wagner
Booktitle:Ausgezeichnete Informatikdissertationen 2008
Publisher:GI
Sites:121-130
Year: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
Author:Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
Editor:Eugenio Villar
Booktitle:Embedded Systems Specification and Design Languages: Selected contributions from FDL'07
Publisher:Springer
Sites:73-86
Year:2008
Format:gebunden




» Non-Intrusive High-level SystemC Debugging
Advances in Design and Specification Languages for Embedded Systems
Author:Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
Editor:Sorin A. Huss
Booktitle:Advances in Design and Specification Languages for Embedded Systems
Publisher:Springer
Sites:131-144
Year:2007
Format:gebunden
 More Information




» Exact BDD Minimization for Path-Related Objective Functions
Großformat des Buches: VLSI-SoC: From Systems to Silicon
Author:Rüdiger Ebendt, Rolf Drechsler
Editor:Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer
Booktitle:VLSI-SoC: From Systems to Silicon
Publisher:Springer
Sites:299-315
Year:2007
Format:gebunden




» Stuck-At-Fault Testability of SPP Three-Level Logic Forms
VLSI-SOC: From Systems to Chips
Author:V. Ciriani, A. Bernasconi, Rolf Drechsler
Editor:M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Booktitle:VLSI-SOC: From Systems to Chips
Publisher:Springer
Sites:299-313
Year:2006
Format:gebunden
 More Information




» Exploration of Sequential Depth by Evolutionary Algorithms
VLSI-SOC: From Systems to Chips
Author:Nicole Drechsler, Rolf Drechsler
Editor:M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Booktitle:VLSI-SOC: From Systems to Chips
Publisher:Springer Boston
Sites:73-83
Year:2006
Format:gebunden
 More Information




» Processor Verification
Großformat des Buches: Customizable Embedded Processors
Author:Daniel Große, Robert Siegmund, Rolf Drechsler
Editor:Paolo Ienne, Rainer Leupers
Booktitle:Customizable Embedded Processors
Publisher:Elsevier
Sites:281-302
Year:2006
Format:gebunden




» Automatic Test Pattern Generation
Großformat des Buches: Formal Methods for Hardware Verification, LNCS 3965
Author:Rolf Drechsler, Görschwin Fey
Editor:Marco Bernardo, Alessandro Cimatti
Booktitle:Formal Methods for Hardware Verification, LNCS 3965
Publisher:Springer
Sites:30-55
Year:2006
Format:gebunden




» System-level validation using formal techniques
Großformat des Buches: System-on-Chip: Next Generation Electronics
Author:Rolf Drechsler, Daniel Große
Editor:Bashir M. Al-Hashimi
Booktitle:System-on-Chip: Next Generation Electronics
Publisher:The IEE
Sites:715-745
Year:2006
Format:gebunden




» 
Author:
Editor:
Booktitle:
Publisher:
Sites:
Year:
Format:






back






Deutsch









Sitemap Kontakt

ISMVL2014 DUHDE