Search Results - "Angst, Gerhard"

The Scale4Edge RISC-V Ecosystem by Ecker, Wolfgang, Adelt, Peer, Mueller, Wolfgang, Heckmann, Reinhold, Krstic, Milos, Herdt, Vladimir, Drechsler, Rolf, Angst, Gerhard, Wimmer, Ralf, Mauderer, Andreas, Stahl, Rafael, Emrich, Karsten, Mueller-Gritschneder, Daniel, Becker, Bernd, Scholl, Philipp, Jentzsch, Eyck, Schlamelcher, Jan, Gruttner, Kim, Bernardo, Paul Palomero, Bringmann, Oliver, Damian, Mihaela, Oppermann, Julian, Koch, Andreas, Bormann, Jorg, Partzsch, Johannes, Mayr, Christian, Kunz, Wolfgang

“…This paper introduces the project Scale4Edge. The project is focused on enabling an effective RISC-V ecosystem for optimization of edge applications. We…”
Get full text

Visualization of SystemC Designs by Genz, Christian, Drechsler, Rolf, Angst, Gerhard, Linhard, Lothar

“…The open source library SystemC aids the composition of system level designs. The library offers a wide variety of datatypes and a simulation kernel. Both…”
Get full text

Parallelized Critical Path Search in Electrical Circuit Designs by Bolzhauser, P., Sulistio, A., Angst, G., Reich, C.

“…For finding the critical path in electrical circuit designs, a shortest-path search must be carried out. This paper introduces a new two-level shortest-path…”
Get full text

Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking by Wille, R., Fey, G., Messing, M., Angst, G., Linhard, L., Drechsler, R.

“…Integrating design and verification becomes more and more important due to the increasing complexity of today's circuits and systems. SystemVerilog is a…”
Get full text