FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool

Hardware Formal Verification

Source files and documentation for the final assignment of the "Testing and Fault Tolerance" course.

Fault Simulation | Parallel Fault Simulation | Deductive fault Simulation | Test Coverage

RiscV Environment for Simulation (R4VES) is a generic and modular framework that eases the grunt work required in order to perform pre/post-synthesis logic and fault simulation on RISC-V cores based on Model/QuestaSim and Z01X.