3. MBMV 2000: Frankfurt, Germany

> Home > Conferences and Workshops > MBMV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/2000
Klaus Waldschmidt, Christoph Grimm:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. VDE 2000
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Payer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Payer00
Michael Payer:
Industrial Experience with Formal Verification. MBMV 2000: 9-16
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GuntherDDB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GuntherDDB00
Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Verification of Designs Containing Black Boxes. MBMV 2000: 19-26
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BlankRHE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BlankRHE00
Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking:
Formale Verifikation der Register-Allokation. MBMV 2000: 27-35
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SchonherrS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchonherrS00
Jens Schönherr, Bernd Straube:
Induction based Equivalence Check at Register Transfer Level. MBMV 2000: 37-44
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SchonherrS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchonherrS00a
Jens Schönherr, Bernd Straube:
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. MBMV 2000: 47-56
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HettSB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HettSB00
Andreas Hett, Christoph Scholl, Bernd Becker:
State Traversal guided by Hamming Distance Profiles. MBMV 2000: 57-66
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Ruf00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Ruf00
Jürgen Ruf:
A Toolset for the Symbolic Examination of Finite State Transition Systems. MBMV 2000: 69-78
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/ForthM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ForthM00
Riccardo Forth, Paul Molitor:
Permutation Independent Comparison of Pseudo Boolean Functions. MBMV 2000: 79-88
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KroningPM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KroningPM00
Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller:
Proving the Correctness of Pipelined Micro-Architectures. MBMV 2000: 89-98
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Flake0R00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Flake0R00
Stephan Flake, Wolfgang Müller, Jürgen Ruf:
Structured English for Model Checking Specification. MBMV 2000: 99-108
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Kropf00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Kropf00
Michael Kropf:
Automotive Electronics: European Challenges in Circuit and System Design. MBMV 2000: 109-109
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BauerEZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BauerEZ00
Matthias Bauer, Wolfgang Ecker, Andreas Zinn:
Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UML. MBMV 2000: 113-120
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MrvaK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MrvaK00
Michael Mrva, Rainer Kress:
Role-Centered Conceptual Modeling in System Design. MBMV 2000: 121-128
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/EckerHMSWY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/EckerHMSWY00
Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider, André Windisch, Ke Yang:
VXML: VHDL Hardware Design Representation in XML. MBMV 2000: 129-140
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GrimmS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GrimmS00
Christoph Grimm, Thomas Stauner:
Übersetzung von HyCharts in HDFG. MBMV 2000: 141-151
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BossungHS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BossungHS00
Wolfgang Boßung, Sorin A. Huss, Michael Stini:
xCDM -- Ein interaktives Werkzeug zur graphenbasierten Systemmodellierung. MBMV 2000: 153-161
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Schlebusch00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Schlebusch00
Heinz-Josef Schlebusch:
C-based Design of Systems-on-Chip: An EDA Perspective. MBMV 2000: 163-163
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HaaseSTV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HaaseSTV00
Jürgen Haase, Peter Schwarz, Peter Trappe, Wolfgang Vermeiren:
Erfahrungen mit VHDL-AMS bei der Simulation heterogener Systeme. MBMV 2000: 167-175
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HaugKR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HaugKR00
Gunter Haug, Udo Kebschull, Wolfgang Rosenstiel:
Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren. MBMV 2000: 177-185
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/HeuschenGW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HeuschenGW00
Frank Heuschen, Christoph Grimm, Klaus Waldschmidt:
Modellierung des Implementierungsraumes im Analog/Digital Co-Design. MBMV 2000: 187-197
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Kampe00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Kampe00
Jürgen Kampe:
Die formale Beschreibung des Strukturentwurfs analoger Systemkomponenten. MBMV 2000: 199-208
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BuchholzR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BuchholzR00
C. Buchholz, Wolfgang Rosenstiel:
A Constraint-Based Design Methodology for Automated Composition with IPs. MBMV 2000: 211-219
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BierbaumWBD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BierbaumWBD00
Dirk Bierbaum, Reimund Wittmann, Michael Buchmann, Mohsen Darianian:
A 2k High Speed CMOS Embedded Dual Port SRAM Using an Advanced Generator Concept. MBMV 2000: 221-226
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/RennerBG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/RennerBG00
Frank-Michael Renner, Jürgen Becker, Manfred Glesner:
Communication Performance Estimation and Communication Synthesis for Architecture-precise Prototyping of Real-time Embedded Systems. MBMV 2000: 227-235
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SawitzkiKSSR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SawitzkiKSSR00
Sergej Sawitzki, Steffen Köhler, Rainer G. Spallek, Jörg Schneider, S. Rülke:
Experimenteller Vergleich verschiedener Entwurfsmethoden für FPGA-basierte Entwurfsabläufe. MBMV 2000: 236-244
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Fey00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Fey00
Wolfgang Fey:
System Simulation: A Basic Tool for Modern System Development. MBMV 2000: 246-246
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BauerZW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BauerZW00
Christine Bauer, Peter Zipf, Hans Wojtkowiak:
Integration und Fehlertoleranz im Codesign. MBMV 2000: 250-258
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Ringler00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Ringler00
Thomas Ringler:
Entwicklung und Analyse von verteilten zeitgesteuerten Systemen. MBMV 2000: 260-269
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KoehlS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KoehlS00
Jürgen Koehl, Jürgen Schietke:
Platzierungsbasierte Logikoptimierung komplexer VLSI Chips. MBMV 2000: 270-277
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/WassatschT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WassatschT00
Andreas Wassatsch, Dirk Timmermann:
Untersuchung zum Einfluß der speziellen Anforderungen dynamischer Schaltungstechnik auf den Systementwurf. MBMV 2000: 278-287
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BauerS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BauerS00
Andreas Bauer, Wolfgang Schwarz:
Volterra Kernel for Automatic Analysis and Optimization of Nonlinear Analogue Circuits. MBMV 2000: 288-297

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.