default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. MBMV 2000: Frankfurt, Germany
- 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 - Michael Payer:
Industrial Experience with Formal Verification. MBMV 2000: 9-16 - Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Verification of Designs Containing Black Boxes. MBMV 2000: 19-26 - Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking:
Formale Verifikation der Register-Allokation. MBMV 2000: 27-35 - Jens Schönherr, Bernd Straube:
Induction based Equivalence Check at Register Transfer Level. MBMV 2000: 37-44 - Jens Schönherr, Bernd Straube:
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. MBMV 2000: 47-56 - Andreas Hett, Christoph Scholl, Bernd Becker:
State Traversal guided by Hamming Distance Profiles. MBMV 2000: 57-66 - Jürgen Ruf:
A Toolset for the Symbolic Examination of Finite State Transition Systems. MBMV 2000: 69-78 - Riccardo Forth, Paul Molitor:
Permutation Independent Comparison of Pseudo Boolean Functions. MBMV 2000: 79-88 - Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller:
Proving the Correctness of Pipelined Micro-Architectures. MBMV 2000: 89-98 - Stephan Flake, Wolfgang Müller, Jürgen Ruf:
Structured English for Model Checking Specification. MBMV 2000: 99-108 - Michael Kropf:
Automotive Electronics: European Challenges in Circuit and System Design. MBMV 2000: 109-109 - Matthias Bauer, Wolfgang Ecker, Andreas Zinn:
Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UML. MBMV 2000: 113-120 - Michael Mrva, Rainer Kress:
Role-Centered Conceptual Modeling in System Design. MBMV 2000: 121-128 - Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider, André Windisch, Ke Yang:
VXML: VHDL Hardware Design Representation in XML. MBMV 2000: 129-140 - Christoph Grimm, Thomas Stauner:
Übersetzung von HyCharts in HDFG. MBMV 2000: 141-151 - Wolfgang Boßung, Sorin A. Huss, Michael Stini:
xCDM -- Ein interaktives Werkzeug zur graphenbasierten Systemmodellierung. MBMV 2000: 153-161 - Heinz-Josef Schlebusch:
C-based Design of Systems-on-Chip: An EDA Perspective. MBMV 2000: 163-163 - Jürgen Haase, Peter Schwarz, Peter Trappe, Wolfgang Vermeiren:
Erfahrungen mit VHDL-AMS bei der Simulation heterogener Systeme. MBMV 2000: 167-175 - Gunter Haug, Udo Kebschull, Wolfgang Rosenstiel:
Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren. MBMV 2000: 177-185 - Frank Heuschen, Christoph Grimm, Klaus Waldschmidt:
Modellierung des Implementierungsraumes im Analog/Digital Co-Design. MBMV 2000: 187-197 - Jürgen Kampe:
Die formale Beschreibung des Strukturentwurfs analoger Systemkomponenten. MBMV 2000: 199-208 - C. Buchholz, Wolfgang Rosenstiel:
A Constraint-Based Design Methodology for Automated Composition with IPs. MBMV 2000: 211-219 - 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 - 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 - 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 - Wolfgang Fey:
System Simulation: A Basic Tool for Modern System Development. MBMV 2000: 246-246 - Christine Bauer, Peter Zipf, Hans Wojtkowiak:
Integration und Fehlertoleranz im Codesign. MBMV 2000: 250-258 - Thomas Ringler:
Entwicklung und Analyse von verteilten zeitgesteuerten Systemen. MBMV 2000: 260-269 - Jürgen Koehl, Jürgen Schietke:
Platzierungsbasierte Logikoptimierung komplexer VLSI Chips. MBMV 2000: 270-277 - Andreas Wassatsch, Dirk Timmermann:
Untersuchung zum Einfluß der speziellen Anforderungen dynamischer Schaltungstechnik auf den Systementwurf. MBMV 2000: 278-287 - 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.
last updated on 2025-05-17 00:11 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:
