Cited By
View all- Herdt VGroße DDrechsler RHerdt VGroße DDrechsler R(2023)Formale Verifikation von SystemC-basierten Entwürfen durch symbolische SimulationVerbessertes virtuelles Prototyping10.1007/978-3-031-18174-0_4(63-125)Online publication date: 1-Jan-2023
- Herdt VDrechsler R(2021)Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challengesScience China Information Sciences10.1007/s11432-020-3308-465:1Online publication date: 23-Dec-2021
- Schwan SHerber P(2020)Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)10.1109/WETICE49692.2020.00051(225-230)Online publication date: Sep-2020
- Show More Cited By