LIFTING: an Open-Source Logic Simulator
Résumé
This paper presents LIFTING (LIRMM Fault Simulator), an open-source simulator able to perform both logic and fault simulation for single/multiple stuck-at faults and single event upset (SEU) on digital circuits described in Verilog. Compared to existing tools, LIFTING provides several features for the analysis of the fault simulation results, meaningful for research purposes. Moreover, as an open-source tool, it can be customized to meet any user requirements. Experimental results show how LIFTING has been exploited on field research. Eventually, execution time for large circuit simulations is comparable to the one of commercial tools.