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.