default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd MBMV 2020: Stuttgart, Germany
- 23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2020, Stuttgart, Germany, March 19-20, 2020. VDE / IEEE 2020, ISBN 978-3-8007-5220-1
- Jens Froemmer, Yara Gowayed, Nico Bannow, Wolfgang Kunz, Christoph Grimm, Klaus Schneider:
Area Estimation Framework for Digital Hardware Design using Machine Learning. 1-10 - Daniel Luenemann, Maher Fakih, Kim Grüttner:
Capturing Neural-Networks as Synchronous Dataflow Graphs. 1-10 - Jakob Heller, Christoph Niemann, Franz Plocksties, Christian Haubelt, Dirk Timmermann:
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS. 1-8 - Jens Rudolf, Florian Grützmacher, Christian Haubelt:
Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs. 1-9 - Martin Köhler, Felix Hasselwander, Klaus Schneider:
Properties of Invariants and Induction Lemmata. 1-10 - Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Christoph Scheytt:
A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. 1-8
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-11-11 23:03 CET 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:
