TY - RPRT TI - Simulation-based Verification of SystemC-based VPs at the ESL AU - Mehran Goli AU - Rolf Drechsler PY - 2022 UR - https://arxiv.org/abs/2202.08046 ID - 2202.08046 ER -