216 citations · 360 across the 15 of their papers we have counts for
Showing cs.ARShow all
3 papers · 1 filter
cs.AR2022
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…
cs.AR2021
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…
cs.AR2020
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…