![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
9. MBMV 2006: Dresden, Germany
- Bernd Straube, Martin Freibothe:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. Fraunhofer Institut für Integrierte Schaltungen 2006 - Alain Vachoux:
Analog and Mixed-Signal Extensions to SystemC. MBMV 2006: 3-8 - Alexey Kupriyanov, Frank Hannig, Dmitrij Kissler, Jürgen Teich, Rainer Schaffer, Renate Merker:
An Architecture Description Language for Massively Parallel Processor Architectures. MBMV 2006: 11-20 - Axel Weiß, Frank Winkler:
Entwurf Global Asynchroner Lokal Synchroner Strukturen auf der Basis einer deklarativen Beschreibung mit XML. MBMV 2006: 21-29 - Matthias Krause, Oliver Bringmann, Wolfgang Rosenstiel:
Communication Refinement and Target Software Generation using SystemC. MBMV 2006: 30-37 - Kim Grüttner, Cornelia Grabbe, Frank Oppenheimer, Wolfgang Nebel:
Modelling and Synthesis of Communication Using OSSS-Channels. MBMV 2006: 38-47 - Peter Zipf, Volker Hampel, Manfred Glesner, Thilo Pionteck:
Eine Scheduling Heuristik zur Minimierung der Verlustleistung. MBMV 2006: 51-60 - Axel Vick, Helmut Rossmann, Heinrich Theodor Vierhaus:
Timing-/Power-getriebener Layout-Entwurf für Zellen-basierte Digitalschaltungen. MBMV 2006: 61-68 - Ingmar Neumann:
Modelling Synchronous Multi-Clock Circuits for Retiming. MBMV 2006: 69-76 - Nico Moser, Carsten Gremzow, Matthias Menge, Hans-Ulrich Post:
Decompilationsbasierte High-Level-Synthese. MBMV 2006: 77-84 - Klaus Winkelmann:
Going Beyond Assertions. MBMV 2006: 87-91 - Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock:
Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. MBMV 2006: 95-105 - Alexander Jesser, Markus Wedler, Lars Hedrich, Wolfgang Kunz:
A case study on applying bounded model checking to analog circuit verification. MBMV 2006: 106-113 - Andreas Ehrenfried, Daniel Scholz, Tobias Welp:
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. MBMV 2006: 114-121 - Ralf Klausen, Lars Hedrich, Erich Barke:
Vermeidung fehlerhafter Verifikations-Ergebnisse beim Äquivalenz-Vergleich nichtlinearer analoger Schaltungen. MBMV 2006: 122-131 - Florian Pigorsch, Christoph Scholl, Stefan Disch:
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. MBMV 2006: 135-144 - Stefan Förster:
Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces. MBMV 2006: 145-152 - Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162 - Görschwin Fey, Rolf Drechsler:
SAT-based Calculation of Source Code Coverage for BMC. MBMV 2006: 163-170 - Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt:
Semi-symbolische Modellierung von Abweichungen. MBMV 2006: 173-180 - Darius Grabowski, Christoph Grimm, Erich Barke:
Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen. MBMV 2006: 181-190 - Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke:
Ansätze zur Verbesserung der Simulationsperformance automatisch generierter analoger Verhaltensmodelle. MBMV 2006: 191-200 - Hermann von Issendorff:
Über die formale Beschreibung räumlicher Netze. MBMV 2006: 203-213 - Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Monitoring-based Formal Hardware Verification. MBMV 2006: 217-221 - Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV 2006: 222-226 - Beate Muranko, Rolf Drechsler:
Technische Dokumentation von Soft- und Hardware-Systemen: Die vergessene Welt. MBMV 2006: 227-231 - Bernhard Niemann, Christian Haubelt:
Assertion-Based Verification of Transaction Level Models. MBMV 2006: 232-236 - Tim Sander, Wolfgang Hess, Sorin A. Huss:
Konzept zur Taskmigration auf heterogenen rekonfigurierbaren Rechenplattformen. MBMV 2006: 237-241 - Klaus Schneider, Tobias Schüle:
A Framework for Verifying and Implementing Embedded Systems. MBMV 2006: 242-247 - Markus Siegle:
Verifying Finite State Machines in Probabilistic Environments. MBMV 2006: 248-254 - Wolfram Hardt, Mathias Sporer:
Ein Metamodell für eingebettete Systeme. MBMV 2006: 255-260 - Martin Versen, Achim Schramm, Daewon Lee, Ronny Schneider:
Address Decoder Test and Verification by Generalization of Application Fail Sequences. MBMV 2006: 261-265 - Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML. MBMV 2006: 266-270 - Roberto M. Ziller:
Verallgemeinerte Überwachersynthese. MBMV 2006: 271-271 - Frank Sill, Claas Cornelius, Dirk Timmermann:
Reduzierung des Leckstromverbrauchs mit gemischten Gattern in Deep Submicron Technologien. MBMV 2006: 275-283 - Valerij Matrose:
Flächenplanung für FPGA-Architekturen mit heterogenen Verdrahtungsressourcen. MBMV 2006: 284-291 - Sascha Kneip, Walter Anheier:
Vergleich und Optimierung von Algorithmen zur Modulo-Multiplikation auf Smartcards. MBMV 2006: 292-301 - Øyvind Strøm:
Verification and validation of Atmel's new 32 bit AVR microprocessor. MBMV 2006: 305-308 - Marius Sida, Guido Clemens:
Efficient Top Down Design and Verification of a Bluetooth Transceiver using the IEEE 1076.1 Language Standard. MBMV 2006: 311-318 - Andy Heinig, Mario Schölzel:
Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren. MBMV 2006: 319-328 - Iyad Kebaisy, Sven Domann, Bernd Meinerzhagen:
Präzise Modellierung und Parameteranpassung eines 5, 2 GHz LNA für WLAN-Anwendungen. MBMV 2006: 329-336 - Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. MBMV 2006: 339-348 - Christoph Jäschke, Ralf Winkelmann, Johannes Kösters:
Control Register Specification and Verification in Complex Systems. MBMV 2006: 349-358 - Roberto M. Ziller, Detlef Schmid:
Erstellung korrekter Spezifikationen für diskrete Systeme. MBMV 2006: 359-368
![](https://dblp.org/img/cog.dark.24x24.png)
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.