BFAT v1.1.0

This is the current source code for the BFAT project along with some demo files:

bfat_demo_1.zip -- RISC-V Soft Processor

• Example bitstream to run through the tool
• Corresponding Vivado design checkpoint to that bitstream
• A set of all the fault bits we have found in our testing which have exhibited errors

bfat_demo_2.zip -- Simple Counter

• Source HDL and XDC files for a counter design

See here for more information how how to use these files with BFAT.

BFAT v1.0.0

This is the initial source code for the BFAT project along with some demo files:

• Example bitstream to run through the tool
• Corresponding Vivado design checkpoint to that bitstream
• A set of all the fault bits we have found in our testing which have exhibited errors