1
A Scalable, Configurable and Programmable Vector Dot-Product Unit for Edge AI
Autoren:
Prebeck, Sebastian; Ashok, Sathya; Vaddeboina, Mounika; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Konferenz:
MBMV 2022 - 25. Workshop MBMV
2
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation
Autoren:
Bartsch, Christian; Wilhelm, Stephan; Kaestner, Daniel; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
MBMV 2022 - 25. Workshop MBMV
3
Data-aware Global Scheduling of Dataflow Process Networks
Autoren:
Rafique, Omair; Schneider, Klaus
Konferenz:
MBMV 2022 - 25. Workshop MBMV
4
Detection and Elimination of Constants to Strengthen k-Induction
Autoren:
Mentel, Lukas; Scheibler, Karsten; Teige, Tino
Konferenz:
MBMV 2022 - 25. Workshop MBMV
5
Diagnosing Partially Observable Markov Decision Processes
Autoren:
Hu, Ming; Winterer, Leonore; Wimmer, Ralf
Konferenz:
MBMV 2022 - 25. Workshop MBMV
6
Making PROGRESS in Property Directed Reachability
Autoren:
Seufert, Tobias; Scholl, Christoph; Chandrasekharan, Arun; Reimer, Sven; Welp, Tobias
Konferenz:
MBMV 2022 - 25. Workshop MBMV
7
Polynomial Formal Verification of Complex Multipliers
Autoren:
Mahzoon, Alireza; Drechsler, Rolf
Konferenz:
MBMV 2022 - 25. Workshop MBMV
8
Simulation-based Verification of SystemC-based VPs at the ESL
Autoren:
Goli, Mehran; Drechsler, Rolf
Konferenz:
MBMV 2022 - 25. Workshop MBMV
9
Virtual Buffers for Exposed Datapath Architectures
Autoren:
Schneider, Klaus; Bhagyanath, Anoop; Roob, Julius
Konferenz:
MBMV 2022 - 25. Workshop MBMV