Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marco Beyer, Hans-Ulrich Post |
VHDL-Hardware/Software-Board-Level-Simulation innerhalb eines FPGA/DSP-Entwicklungssystems. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Michael Payer |
A Platform for Construction and Integration of Digital IP Blocks. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Roberto Ziller, Klaus Schneider 0001 |
A μ-Calculus Approach to Supervisor Synthesis. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Jürgen Ruf, Prakash Mohan Peranandam |
Bounded Property Checking with Symbolic Simulation. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Hans-Jürgen Brand |
Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Carsten Gremzow, E. Hansen, Nico Moser, Hans-Ulrich Post |
Datapath constrained High-Level Synthesis of Central Memory Architectures. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey |
Cost-efficient Formal Block Verification for ASIC Design. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Ilia Polian, Wolfgang Günther 0001, Bernd Becker 0001 |
The Case for 2-POF. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Martin Zambaldi, Matthias Bauer 0003, Wolfgang Ecker, Renate Henftling, Andreas Zinn |
An Enhanced Environment for Multi-Level Simulation. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Viktor K. Sabelfeld, Kai Kapp |
Arithmetic in Formal Synthesis. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Jan Peleska 0001 |
Automated Test Suites for Modern Aircraft Controllers. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Rolf Drechsler (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003 |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Joachim Haase |
Regeln für die Erstellung von VHDL-AMS-Modellen. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
Towards the impact of state encoding on induction-based property checking. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer |
A Universal Disassembler using Table Based Formal Architectural Specification. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau |
A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Alexander Krupp, Wolfgang Müller 0003 |
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Stefan Ihmor, Markus Visarius, Wolfram Hardt |
Modeling of Configurable HW/SW-Interfaces. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Mathias Sporer, Dieter Monjau |
Datenbanken zur konsistenten Speicherung von Entwurfsdaten für eingebettete Systeme. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Kai Kapp, Viktor K. Sabelfeld |
Dead Code Elimination in Formal Synthesis. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Christian Meise, Christoph Grimm 0001 |
Konzept einer Klassensammlung zur Verhaltensmodellierung hybrider Systeme am Beispiel der Leistungselektronik. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Daniel Große, Rolf Drechsler |
Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Marek Jersak, Kai Richter 0001, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf |
Certifiable Software-Integration for Engine Electronics. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Marc Herbstritt, Bernd Becker 0001 |
Conflict-based Selection of Branching Rules in SAT-Algorithms. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Michael Kersten, Ramon Biniasch, Wolfgang Nebel, Frank Oppenheimer |
Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan |
Model Checking in an Industrial Environment. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
1 | Rolf Drechsler, Jochen Römmler |
Implementation and Visualization of a BDD Package in JAVA. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Jürgen Ruf, Thomas Kropf |
Combination of Simulation and Formal Verification. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Sven Verdenhalven, Holger Kühl |
Interfacing Concept for Different Levels of Abstraction in IP-based SoC Design. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Oliver Kraus, Martin Padeffke |
Entwurfsumgebung für asynchrone Burst-Mode Automaten. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Cordula Hansen, Wolfgang Rosenstiel |
High Level Testbench Transformation for Pipelined Components. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Roberto Ziller |
Finding Bad States during Symbolic Supervisor Synthesis. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Christoph Scholl 0001, Bernd Becker 0001 |
Equivalence Checking in the Presence of Incompletely Specified Boxes. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Kolja Sulimma, Ingmar Neumann, Lukas P. P. P. van Ginneken, Wolfgang Kunz |
Improving Placement under the Constant Delay Model. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Michael Schlegel, Göran Herrmann, Dietmar Müller 0001 |
"Multi-Architecture-Modeling" Entwurfsmethode für Mixed-Signal- und Multi-Domain-Systemsimulation. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Lehmann 0001, Mauro Cesar Zanella |
Modeling and Software Synthesis of Interrupt Systems. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Jürgen Frößl |
Synthese großer Schaltungen. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Olga Fengler, Thorsten Hummel, Wolfgang Fengler 0001 |
Modellierung kooperierender Prozesse mit gefärbten Sequenzdiagrammen. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Christian Haubelt, Jürgen Teich, Kai Richter 0001, Rolf Ernst |
Modellierung rekonfigurierbarer Systemarchitekturen. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Tobias Schuele, Klaus Schneider 0001 |
Symbolic Model Checking by Automata Based Set Representation. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Mathias Schmalisch, Hagen Ploog, Dirk Timmermann |
Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Matthias Menge, Irenäus Schoppa |
Hardwaresynthese von Programmiermodellen. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Klaus-Jürgen Englert, Bernd Becker 0001, Rolf Drechsler |
Symbolic Simulation of Algorithms Specified in HDL. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Jürgen Ruf (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002 |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Christoph Grimm 0001, Christian Meise, Wilhelm Heupke, Klaus Waldschmidt |
Entwurf analog/digitaler Systeme mit SystemC. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Klaus-Dieter Schubert |
Formal Verification versus Simulation in Functional Verification -- An Industry Perspective. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Werner Haas 0003, Stefan Gossens, Ulrich Heinkel |
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Jens Bastian, Joachim Haase, Sven Reitz |
Verhaltensbeschreibung von Systemen mit verteilten Parametern durch Ordnungsreduktion. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Carsten Gremzow, E. Hansen, Nico Moser, Hans-Ulrich Post |
Integration einer Datenpfad-orientierten Ablaufplanung und Bindung in die High-Level-Synthese. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Jörg Schneider, Maik Boden, Steffen Rülke |
Eine wiederverwendungsgerechte Entwurfsmethodik für rekonfigurierbare SoC-Architekturen. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Kai Richter 0001, Rolf Ernst, Wayne H. Wolf |
Local Constraint Derivation for Platform-Based Design. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Wolfgang Rosenstiel |
Struktur und Aufgaben des edacentrums. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Dieter Monjau, Mathias Sporer |
Analyse dynamischer Eigenschaften eingebetteter Systeme mit GPSS. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
1 | Dieter Monjau (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001 |
MBMV |
2001 |
DBLP BibTeX RDF |
|
1 | Wolfgang Günther 0001, Nicole Drechsler, Rolf Drechsler, Bernd Becker 0001 |
Verification of Designs Containing Black Boxes. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Gunter Haug, Udo Kebschull, Wolfgang Rosenstiel |
Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Heinz-Josef Schlebusch |
C-based Design of Systems-on-Chip: An EDA Perspective. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Wolfgang Boßung, Sorin A. Huss, Michael Stini |
xCDM -- Ein interaktives Werkzeug zur graphenbasierten Systemmodellierung. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Stephan Flake, Wolfgang Müller 0003, Jürgen Ruf |
Structured English for Model Checking Specification. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Jens Schönherr, Bernd Straube |
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Payer |
Industrial Experience with Formal Verification. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Kropf |
Automotive Electronics: European Challenges in Circuit and System Design. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Wolfgang Fey |
System Simulation: A Basic Tool for Modern System Development. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking |
Formale Verifikation der Register-Allokation. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider 0006, André Windisch, Ke Yang |
VXML: VHDL Hardware Design Representation in XML. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Frank-Michael Renner, Jürgen Becker 0001, Manfred Glesner |
Communication Performance Estimation and Communication Synthesis for Architecture-precise Prototyping of Real-time Embedded Systems. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Frank Heuschen, Christoph Grimm 0001, Klaus Waldschmidt |
Modellierung des Implementierungsraumes im Analog/Digital Co-Design. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Thomas Ringler |
Entwicklung und Analyse von verteilten zeitgesteuerten Systemen. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Jürgen Kampe |
Die formale Beschreibung des Strukturentwurfs analoger Systemkomponenten. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Daniel Kröning, Wolfgang J. Paul, Silvia M. Müller |
Proving the Correctness of Pipelined Micro-Architectures. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Jürgen Koehl, Jürgen Schietke |
Platzierungsbasierte Logikoptimierung komplexer VLSI Chips. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Riccardo Forth, Paul Molitor |
Permutation Independent Comparison of Pseudo Boolean Functions. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Dirk Bierbaum, Reimund Wittmann, Michael Buchmann, Mohsen Darianian |
A 2k High Speed CMOS Embedded Dual Port SRAM Using an Advanced Generator Concept. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Klaus Waldschmidt, Christoph Grimm 0001 (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000 |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Andreas Hett, Christoph Scholl 0001, Bernd Becker 0001 |
State Traversal guided by Hamming Distance Profiles. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Andreas Wassatsch, Dirk Timmermann |
Untersuchung zum Einfluß der speziellen Anforderungen dynamischer Schaltungstechnik auf den Systementwurf. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Matthias Bauer 0003, Wolfgang Ecker, Andreas Zinn |
Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UML. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Jürgen Haase, Peter Schwarz, Peter Trappe, Wolfgang Vermeiren |
Erfahrungen mit VHDL-AMS bei der Simulation heterogener Systeme. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Jürgen Ruf |
A Toolset for the Symbolic Examination of Finite State Transition Systems. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | C. Buchholz, Wolfgang Rosenstiel |
A Constraint-Based Design Methodology for Automated Composition with IPs. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Christoph Grimm 0001, Thomas Stauner |
Übersetzung von HyCharts in HDFG. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Mrva, Rainer Kress 0002 |
Role-Centered Conceptual Modeling in System Design. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Christine Bauer 0002, Peter Zipf, Hans Wojtkowiak |
Integration und Fehlertoleranz im Codesign. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Andreas Bauer, Wolfgang Schwarz |
Volterra Kernel for Automatic Analysis and Optimization of Nonlinear Analogue Circuits. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Jens Schönherr, Bernd Straube |
Induction based Equivalence Check at Register Transfer Level. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
1 | Heiko Henkelmann, C. Bruennlein, Walter Anheier |
Effiziente Methoden zum Zahlenvergleich und zur Vorzeichenerkennung in Restklassensystemen. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Christian Blumenröhr |
A Formal Approach to Specify and Synthesize at the System Level. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Bernd Stöhr, Utz G. Baitinger |
Eine neue Methode zur Spezifikation von komplexen Steuerwerken unter der Randbedingung der Synthese und eines kurzen Entwurfszyklus. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Matthias Mutz, Sebastian Steibl |
Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Tom Barthel, Dietmar Müller 0001, Jan Pauliuk |
Beschreibungsmittel und Werkzeuge für Spezifikationen heterogener Systeme. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull |
Beschreibung und Simulation von Hardware/Software-Systemen mit Java. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Holger Hinrichsen, Gerd Ritter, Hans Eveking |
Automatische Synthese und Verifikation von RISC-Prozessoren. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Matthias Meixner, Jürgen Becker 0001, Thomas Hollstein, Manfred Glesner |
Object-oriented Specification Approach for Synthesis of Hardware-/Software Systems. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Rolf Drechsler, Marc Herbstritt, Bernd Becker 0001 |
Grouping Heuristics for Word-Level Decision Diagrams. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Klaus Schneider 0001, George Logothetis |
Abstraction of Systems with Counters for Symbolic Model Checking. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Jürgen Ruf, Thomas Kropf |
Modeling Real-Time Systems with I/O-Interval Structures. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Cristina Barna, Wolfgang Rosenstiel |
Description and Classification of VHDL Objects in the Reuse Management System. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
1 | Joachim Gerlach, Thilo Klöpfer, Wolfgang Rosenstiel |
Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene. |
MBMV |
1999 |
DBLP BibTeX RDF |
|