default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. MBMV 2004: Kaiserslautern, Germany
- Dominik Stoffel, Wolfgang Kunz:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. Shaker 2004 - Razvan Racu, Kai Richter, Rolf Ernst:
Calculating Task Output Event Models to Reduce Distributed System Cost. MBMV 2004: 1-10 - Christoph Jäschke, Zoltán Hidvégi, Wolfgang Rösner:
Faust2 -- A Processor High-Level Modeling Framework. MBMV 2004: 11-20 - Patrick Groeneveld:
Physical Synthesis: its struggle with Moore's law. MBMV 2004: 21-23 - Ingmar Neumann, Dominik Stoffel, Kolja Sulimma, Michel R. C. M. Berkelaar, Wolfgang Kunz:
Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning. MBMV 2004: 24-33 - Achim Rettberg, Florian Dittmann, Thomas Lehmann, Mauro Cesar Zanella:
A New High-Level Synthesis Approach of a Synchronous Bit-Serial Architecture. MBMV 2004: 34-43 - Claudia Kretzschmar, Robert Siegmund, Dietmar Müller:
Adaptive Bus Line Grouping for Power Efficient Data Transfer over Wide System Buses. MBMV 2004: 44-52 - Georg Pelz:
Entwurfs-Methodik für Automobil-Elektronik. MBMV 2004: 53-53 - Tobias Schüle, Klaus Schneider:
Global vs. Local Model Checking of Infinite State Systems. MBMV 2004: 54-64 - Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer:
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 2004: 65-75 - Joachim Horch:
Automatisches Verstärken und Beweisen von Invarianten mit Hilfe von Gegenbeispielen. MBMV 2004: 76-85 - Thomas Beierlein, Dominik Fröhlich, Bernd Steinbach:
A Model-Based Approach to System-Level Co-Design. MBMV 2004: 86-95 - Martin Zambaldi, Wolfgang Ecker:
Ein orthogonales Schema für die Klassifikation der Modellierungsabstraktion von digitalen Systemen. MBMV 2004: 96-105 - Markus Visarius, Wolfram Hardt:
The IPQ Format -- An Approach to Support IP based Design. MBMV 2004: 106-115 - Jan-Hendrik Oetjens, Joachim Gerlach, Wolfgang Rosenstiel:
Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen. MBMV 2004: 116-125 - Alain Vachoux:
Do we really need SystemC-AMS? MBMV 2004: 126-126 - Wolfgang Günther, Stefan Höreth:
Some Common Synthesis-Simulation-Mismatches. MBMV 2004: 127-136 - Jan Gutsche, Hans-Ulrich Post:
Erhöhung der Synthesegenauigkeit durch Sprachraumerweiterung synthesefähiger sequentieller VHDL-Beschreibungen. MBMV 2004: 137-146 - Michael Schlegel, Göran Herrmann, Dietmar Müller:
Erweiterte Kostenmodellierung mit VHDL/VHDL-AMS. MBMV 2004: 147-155 - Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel:
Flexible Overhead Processing Architectures for G.709 Optical Transport Networks. MBMV 2004: 156-164 - Rolf Drechsler:
Using Synthesis Techniques in SAT Solvers. MBMV 2004: 165-173 - Karsten-O. Laux, Marc Michael Feld:
Hadie - Ein portierbarer Mikrokernel für eingebettete Systeme. MBMV 2004: 174-183 - Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler:
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen. MBMV 2004: 184-193 - Meinrad Fiedler:
Ein Ubersetzungsverfahren von Verilog-Kausalspezifikationen in Signalflankengraph-basierte Spezifikationen zum Entwurf asynchroner Schaltwerke. MBMV 2004: 194-203 - Kai Kapp, Viktor K. Sabelfeld:
Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis. MBMV 2004: 204-213 - Stephen Schmitt, Wolfgang Rosenstiel:
Rapid Prototyping of a Microcontroller IP Core under Resource Limitations. MBMV 2004: 214-223 - Peter Zipf, Heiko Hinkelmann, Adeel Ashraf, Thomas Hollstein, Manfred Glesner:
An Asynchronous Switch Implmentation for Systems-on-a-Chip. MBMV 2004: 224-231 - Stefan Höreth:
Debugging and Diagnosis in Equivalence Checking of ASICs. MBMV 2004: 232-232 - Rüdiger Ebendt, Rolf Drechsler:
A Tight Lower Bound for Dynamic BDD Reordering. MBMV 2004: 233-242 - Matthew D. T. Lewis, Tobias Schubert, Bernd Becker:
Early Conflict Detection Based SAT Solving. MBMV 2004: 243-249 - Rolf Drechsler, Wolfgang Günther, Burkhard Stubert:
Efficient (Non-)Reachability Analysis of Counterexamples. MBMV 2004: 250-259 - Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf:
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV 2004: 260-269 - Christoph Scholl, Matthias Büche:
Filter Based Diagnosis for Multiple Design Errors. MBMV 2004: 270-279 - Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann:
Formale Verifikation eines Sonet/SDH Framers. MBMV 2004: 280-288
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 2025-05-09 19:37 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:
