1. Verifying SystemC using intermediate verification language and stateful symbolic simulation;Herdt;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2018
2. Dynamic fault injection into digital twins of safety-critical systems;Markwirth,2021
3. High level fault injection method for evaluating critical system parameter ranges;Roux,2020
4. An ISA-level accurate fault simulator for system-level fault analysis;Xiao,2020
5. A Domain-specific language for automated fault injection in SystemC models;Lohmann,2018