Abstract is missing.
- Industrial Experience with Formal VerificationMichael Payer. 9-16
- Verification of Designs Containing Black BoxesWolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker. 19-26
- Formale Verifikation der Register-AllokationClaudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking. 27-35
- Induction based Equivalence Check at Register Transfer LevelJens Schönherr, Bernd Straube. 37-44
- Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher AutomatenJens Schönherr, Bernd Straube. 47-56
- State Traversal guided by Hamming Distance ProfilesAndreas Hett, Christoph Scholl, Bernd Becker. 57-66
- A Toolset for the Symbolic Examination of Finite State Transition SystemsJürgen Ruf. 69-78
- Permutation Independent Comparison of Pseudo Boolean FunctionsRiccardo Forth, Paul Molitor. 79-88
- Proving the Correctness of Pipelined Micro-ArchitecturesDaniel Kröning, Wolfgang J. Paul, Silvia M. Müller. 89-98
- Structured English for Model Checking SpecificationStephan Flake, Wolfgang Müller 0003, Jürgen Ruf. 99-108
- Automotive Electronics: European Challenges in Circuit and System DesignMichael Kropf. 109-109
- Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UMLMatthias Bauer, Wolfgang Ecker, Andreas Zinn. 113-120
- Role-Centered Conceptual Modeling in System DesignMichael Mrva, Rainer Kress. 121-128
- VXML: VHDL Hardware Design Representation in XMLWolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider 0006, André Windisch, Ke Yang. 129-140
- Übersetzung von HyCharts in HDFGChristoph Grimm, Thomas Stauner. 141-151
- xCDM -- Ein interaktives Werkzeug zur graphenbasierten SystemmodellierungWolfgang Boßung, Sorin A. Huss, Michael Stini. 153-161
- C-based Design of Systems-on-Chip: An EDA PerspectiveHeinz-Josef Schlebusch. 163-163
- Erfahrungen mit VHDL-AMS bei der Simulation heterogener SystemeJürgen Haase, Peter Schwarz, Peter Trappe, Wolfgang Vermeiren. 167-175
- Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-ProzessorenGunter Haug, Udo Kebschull, Wolfgang Rosenstiel. 177-185
- Modellierung des Implementierungsraumes im Analog/Digital Co-DesignFrank Heuschen, Christoph Grimm, Klaus Waldschmidt. 187-197
- Die formale Beschreibung des Strukturentwurfs analoger SystemkomponentenJürgen Kampe. 199-208
- A Constraint-Based Design Methodology for Automated Composition with IPsC. Buchholz, Wolfgang Rosenstiel. 211-219
- A 2k High Speed CMOS Embedded Dual Port SRAM Using an Advanced Generator ConceptDirk Bierbaum, Reimund Wittmann, Michael Buchmann, Mohsen Darianian. 221-226
- Communication Performance Estimation and Communication Synthesis for Architecture-precise Prototyping of Real-time Embedded SystemsFrank-Michael Renner, Jürgen Becker, Manfred Glesner. 227-235
- Experimenteller Vergleich verschiedener Entwurfsmethoden für FPGA-basierte EntwurfsabläufeSergej Sawitzki, Steffen Köhler, Rainer G. Spallek, J. Schneider, S. Rülke. 236-244
- System Simulation: A Basic Tool for Modern System DevelopmentWolfgang Fey. 246-246
- Integration und Fehlertoleranz im CodesignChristine Bauer, Peter Zipf, Hans Wojtkowiak. 250-258
- Entwicklung und Analyse von verteilten zeitgesteuerten SystemenThomas Ringler. 260-269
- Platzierungsbasierte Logikoptimierung komplexer VLSI ChipsJürgen Koehl, Jürgen Schietke. 270-277
- Untersuchung zum Einfluß der speziellen Anforderungen dynamischer Schaltungstechnik auf den SystementwurfAndreas Wassatsch, Dirk Timmermann. 278-287
- Volterra Kernel for Automatic Analysis and Optimization of Nonlinear Analogue CircuitsAndreas Bauer, Wolfgang Schwarz. 288-297