default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. MBMV 2009: Berlin, Germany
- Carsten Gremzow, Nico Moser:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. Universitätsbibliothek Berlin, Germany 2009 - Herbert Reichl, Ivan N. Ndip:
Entwurf von Aufbau- und Verbindungstechniken für die Elektromagnetische Zuverlässigkeit von Mikrosystemen unter Verwendung des M3-Ansatzes. MBMV 2009: 1-2 - Raimund Sönning:
Challenges and Methods in Verification of Complex Graphics Display Controllers. MBMV 2009: 3-3 - Matthias Weber:
Model-Based Development in Automotive Electronics -- The EAST-ADL. MBMV 2009: 4-4 - Jan Uerpmann:
Challenges in the Design of Micro-Processors and other Integrated Circuits. MBMV 2009: 5-6 - Matthew Lewis, Tobias Schubert, Bernd Becker:
QmiraXT - A Multithreaded QBF Solver. MBMV 2009: 7-16 - Martin Oberkönig, Martin Schickel, Hans Eveking:
Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften. MBMV 2009: 17-26 - Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle:
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV 2009: 27-36 - Jens Schönherr:
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns. MBMV 2009: 37-46 - André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler:
Increasing the Accuracy of SAT-based Debugging. MBMV 2009: 47-56 - Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
A Re-Use Methodology for SoC Protocol Compliance Verification. MBMV 2009: 57-66 - Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler:
Equivalence Checking of Reversible Circuits. MBMV 2009: 67-76 - Florian Pigorsch, Christoph Scholl:
Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. MBMV 2009: 77-86 - Christian Miller, Tobias Nopper, Christoph Scholl:
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. MBMV 2009: 87-96 - Jens Brandt, Klaus Schneider, Adrian Willenbücher:
Using IP Cores in Synchronous Languages. MBMV 2009: 97-106 - Nico Moser, Stefan Hauser, Carsten Gremzow:
Reduzierung der Kommunikation in TTA-Verbindungsnetzen mittels Laufzeitanalyse. MBMV 2009: 107-116 - Daniel Lüdtke, Carsten Gremzow, Dietmar Tutsch:
An Application-Optimized Network on Chip Platform. MBMV 2009: 117-126 - Tobias Schwalb, Philipp Graf, Klaus D. Müller-Glaser:
Architektur für das echtzeitfähige Debugging ausführbarer Modelle auf rekonfigurierbarer Hardware. MBMV 2009: 127-136 - Frank Winkler, Gerald Kell, Oliver Schrape, Hans Gustat, Ulrich Jagdhold:
HDL-Synthese und Simulation von Hochgeschwindigkeits-Digitalschaltungen mit gemischten CMOS- und ECL-Bibliotheken. MBMV 2009: 137-145 - Heiko Hübert, Benno Stabernack:
Power Modeling of an Embedded RISC Core for Function-Accurate Energy Profiling. MBMV 2009: 147-156 - Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig:
Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. MBMV 2009: 157-166 - Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier:
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV 2009: 167-176 - Uwe Proß, Christian Adam, Benjamin Berger, Ulrich Heinkel:
Modellierung dynamisch partieller Rekonfiguration mit VPRS. MBMV 2009: 177-186 - Martin Zabel, Thomas B. Preußer, Rainer G. Spallek:
High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation. MBMV 2009: 187-196 - Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube:
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV 2009: 197-206 - Adán Kohler, Martin Radetzki:
Modellierung und Simulation von Networks-on-Chip mit OSCI TLM2. MBMV 2009: 207-216 - Monica Rafaila, Christian Decker, Christoph Grimm, Karsten Einwich, Thomas Markwirth, Georg Pelz:
New Methods for System-level Verification using SystemC-AMS Extensions: Application to an Automotive ECU. MBMV 2009: 217-226 - Sven Slawinski, Lutz Zacharias, Robert Dorn, Johann Hauer:
Erstellung und Verifizierung eines VHDL-AMS-Modells für einen kapazitiven Delta-Sigma-Modulator. MBMV 2009: 227-236 - Yifan Wang, Ralf Wunderlich, Stefan Heinen, Hans-Werner Groh:
Event gesteuerte Modellierung analoger Frontends für die funktionale Verifikation des RF-SoCs. MBMV 2009: 237-246
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-04-25 17:34 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:
