This framework is capable of analyzing the effects of faults induced into synthesized gate-level netlists. The tool automatically extracts the circuit to analyze based on a fault specification file and injects multiple faults with different effects into this subcircuit. The effectiveness of the injected faults are evaluated and the tool verifies that the installed fault countermeasures detect these faults.
The framework is broken into three phases:
- a preprocessing phase,
- a fault injection phase, and
- an evaluation phase.
Further details can be found in the paper [0].
Install python3 and the corresponding packages:
$ pip3 install -r requirements.txtThe examples/circuit.json file contains the netlist for the
aes_cipher_control
module synthesized with the
provided
Yosys flow.
To convert a cell library (e.g., the
NANGATE45 library),
adapt the examples/config.json file and start the cell library generator:
$ ./cell_lib_generator.py -l NangateOpenCellLibrary_typical.lib -n 16 \
-c examples/config.json -o cell_lib_nangate45_autogen.pyTo start the preprocessing phase for this example netlist, create
the output directory and invoke the parser:
$ ./parse.py -j examples/circuit.json -m aes_cipher_control \
-o output/circuit.pickleThe parser preprocesses the provided netlist and creates a directed graph, which is then used by the fault injector to evaluate the effects of the induced faults. To run the fault injector with the example netlist and the example fault specification file, execute the fi_injector tool:
$ ./fi_injector.py -p output/circuit.pickle -f examples/fault_model.json -n 16 \
-c cell_lib_nangate45_autogen.py[0]: Nasahl, P., Osorio, M., Vogel, P., Schaffner, M., Trippel, T., Rizzo, D. and Mangard, S., 2022. SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element. IACR Transactions on Cryptographic Hardware and Embedded Systems.
Unless otherwise noted, everything in this repository is covered by the Apache License, Version 2.0 (see LICENSE for full text).