default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. MBMV 2002: Tübingen, Germany
- Jürgen Ruf:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. Shaker 2002 - Sven Verdenhalven, Holger Kühl:
Interfacing Concept for Different Levels of Abstraction in IP-based SoC Design. MBMV 2002: 1-8 - Thomas Lehmann, Mauro Cesar Zanella:
Modeling and Software Synthesis of Interrupt Systems. MBMV 2002: 9-17 - Michael Schlegel, Göran Herrmann, Dietmar Müller:
"Multi-Architecture-Modeling" Entwurfsmethode für Mixed-Signal- und Multi-Domain-Systemsimulation. MBMV 2002: 18-25 - Kai Richter, Rolf Ernst, Wayne H. Wolf:
Local Constraint Derivation for Platform-Based Design. MBMV 2002: 26-35 - Jörg Schneider, Maik Boden, Steffen Rülke:
Eine wiederverwendungsgerechte Entwurfsmethodik für rekonfigurierbare SoC-Architekturen. MBMV 2002: 36-45 - Christoph Grimm, Christian Meise, Wilhelm Heupke, Klaus Waldschmidt:
Entwurf analog/digitaler Systeme mit SystemC. MBMV 2002: 46-55 - Jürgen Frößl:
Synthese großer Schaltungen. MBMV 2002: 56-56 - Carsten Gremzow, E. Hansen, Nico Moser, Hans-Ulrich Post:
Integration einer Datenpfad-orientierten Ablaufplanung und Bindung in die High-Level-Synthese. MBMV 2002: 57-66 - Kolja Sulimma, Ingmar Neumann, Lukas P. P. P. van Ginneken, Wolfgang Kunz:
Improving Placement under the Constant Delay Model. MBMV 2002: 67-75 - Matthias Menge, Irenäus Schoppa:
Hardwaresynthese von Programmiermodellen. MBMV 2002: 76-85 - Oliver Kraus, Martin Padeffke:
Entwurfsumgebung für asynchrone Burst-Mode Automaten. MBMV 2002: 86-95 - Werner Haas, Stefan Gossens, Ulrich Heinkel:
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). MBMV 2002: 96-105 - Thomas Kumpf, Carsten Müller-Schwanneke, Björn Jelonnek, Armin Splett, Albrecht Rothermel:
Schnelle Simulation analoger Sigma-Delta-Modulatoren durch Abstraktion von Transistorschaltungen. MBMV 2002: 106-112 - Klaus-Jürgen Englert, Bernd Becker, Rolf Drechsler:
Symbolic Simulation of Algorithms Specified in HDL. MBMV 2002: 113-122 - Klaus-Dieter Schubert:
Formal Verification versus Simulation in Functional Verification -- An Industry Perspective. MBMV 2002: 123-123 - Cordula Hansen, Wolfgang Rosenstiel:
High Level Testbench Transformation for Pipelined Components. MBMV 2002: 124-133 - Jürgen Ruf, Thomas Kropf:
Combination of Simulation and Formal Verification. MBMV 2002: 134-143 - Jens Bastian, Joachim Haase, Sven Reitz:
Verhaltensbeschreibung von Systemen mit verteilten Parametern durch Ordnungsreduktion. MBMV 2002: 144-153 - Mathias Schmalisch, Hagen Ploog, Dirk Timmermann:
Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren. MBMV 2002: 154-162 - Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst:
Modellierung rekonfigurierbarer Systemarchitekturen. MBMV 2002: 163-171 - Dieter Monjau, Mathias Sporer:
Analyse dynamischer Eigenschaften eingebetteter Systeme mit GPSS. MBMV 2002: 172-182 - Wolfgang Rosenstiel:
Struktur und Aufgaben des edacentrums. MBMV 2002: 183-198 - Olga Fengler, Thorsten Hummel, Wolfgang Fengler:
Modellierung kooperierender Prozesse mit gefärbten Sequenzdiagrammen. MBMV 2002: 199-208 - Roberto Ziller:
Finding Bad States during Symbolic Supervisor Synthesis. MBMV 2002: 209-218 - Rolf Drechsler, Jochen Römmler:
Implementation and Visualization of a BDD Package in JAVA. MBMV 2002: 219-228 - Tobias Schuele, Klaus Schneider:
Symbolic Model Checking by Automata Based Set Representation. MBMV 2002: 229-238 - Christoph Scholl, Bernd Becker:
Equivalence Checking in the Presence of Incompletely Specified Boxes. MBMV 2002: 239-248
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-17 00:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
