23 citations · 29 across the 4 of their papers we have counts for
8 papers
Simulation-based Verification of SystemC-based VPs at the ESL
Mehran Goli, Rolf Drechsler
SystemC-based Virtual Prototypes (VPs) at the Electronic System Level (ESL) are increasingly adopted by the semiconductor industry. The main reason is that VPs are much earlier ava…
Polynomial Circuit Verification using BDDs
Rolf Drechsler
Verification is one of the central tasks during circuit design. While most of the approaches have exponential worst-case behaviour, in the following techniques are discussed for pr…
Pick the Right Edge Device: Towards Power and Performance Estimation of CUDA-based CNNs on GPGPUs
Christopher A. Metz, Mehran Goli, Rolf Drechsler
The emergence of Machine Learning (ML) as a powerful technique has been helping nearly all fields of business to increase operational efficiency or to develop new value proposition…
PolyAdd: Polynomial Formal Verification of Adder Circuits
Rolf Drechsler
Only by formal verification approaches functional correctness can be ensured. While for many circuits fast verification is possible, in other cases the approaches fail. In general…
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits
Alwin Zulehner, Philipp Niemann, Rolf Drechsler +1
Research on quantum computing has recently gained significant momentum since first physical devices became available. Many quantum algorithms make use of so-called oracles that imp…
fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits
Marcel Walter, Robert Wille, Frank Sill Torres +2
As a class of emerging post-CMOS technologies, Field-coupled Nanocomputing (FCN) devices promise computation with tremendously low energy dissipation. Even though ground breaking a…