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