default search action
1. MBMV 1998: Paderborn, Germany
- Franz-Josef Rammig, Wolfgang Müller:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. HNI-Verlagsschriften 1998 - Christoph Grimm, Klaus Waldschmidt:
Spezifikation hybrider Systeme. MBMV 1998: 1-10 - Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild:
A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. MBMV 1998: 11-20 - Martin Radetzki, Wolfram Putzke-Röming, Wolfgang Nebel:
Übersetzung von Objektorientiertem VHDL nach Standard VHDL. MBMV 1998: 21-29 - Manfred Koegst, Günter Franke, Klaus Feske, Steffen Rülke:
Verringerung der Leistungsaufnahme in sequentiellen Schaltungen durch Vorlogik und zweistufige Zustandskodierung. MBMV 1998: 30-37 - Christian Blumenröhr, Dirk Eisenbiegler:
Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations. MBMV 1998: 38-49 - Peter Blinzer, Ulrich Golze, Ulrich Holtmann:
Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys. MBMV 1998: 50-58 - Joachim Gerlach, Wolfgang Rosenstiel:
Eine Umgebung zur transformationalen Entwurfsraum-Exploration. MBMV 1998: 59-66 - Nikolaus Lange, Matthias Mutz:
Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung. MBMV 1998: 67-74 - Thomas Lock, Michael Mendler:
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. MBMV 1998: 75-84 - Winfried Grünewald, Klaus Schneider:
Modeling and Verifying Abstract Multithreaded Systems. MBMV 1998: 85-94 - Edelweis Helena Ache Garcez, Francisco Assis M. do Nascimento:
A Model Checker for a Partial Order based Model of Concurrency. MBMV 1998: 95-103 - Markus Wannemacher, Reiner Lichtenecker, Wolfgang A. Halang:
Entwurfsmethode für einen universellen Koprozessor für zeitkritische Aufgaben in sicherheitsgerichteten Echtzeitsystemen. MBMV 1998: 104-113 - Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube:
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. MBMV 1998: 114-123 - Markus Bühler, D. Dallmann, Utz G. Baitinger:
Switching Activity Analysis Using a Set Theoretical Approach. MBMV 1998: 124-130 - Peter Thole, Wolfgang Rosenstiel:
Profilierung von VHDL-Prozessen mit minimierten Aufwand. MBMV 1998: 131-140 - Giuseppe Del Castillo, Wolfram Hardt:
Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets. MBMV 1998: 141-150 - Guido Post, Andrea Müller, Rainer Schoenen:
Object-Oriented Design of ATM Switch Hardware in a Telecommunication Network Simulation Environment. MBMV 1998: 151-164 - Stefan Reichör, Markus Pfaff, Markus Schutti:
Integration externer Komponenten in den Simulationsablauf von VHDL. MBMV 1998: 165-174 - Uwe Knöchel, Ulrich Tannert, Jürgen Haufe, Peter Schwarz:
Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation. MBMV 1998: 175-184
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.