Source code?

[jfplusq]

Sorry to post here but your email bounced.

Dear Khoa,

I've read your paper, "B IT M AN : A Tool and API for FPGA BitstreamManipulations". Very nice work.

We are working on adding faults to partial bitstreams, one at a time, to test the effectiveness of a fail-safe design strategy we are working on. We do the fault injection in a C program running on the Zybo board/PS side by reading the fault-free partial bitstream, and then iteratively flipping one bit at a time and programming the DPR region with each of the faulty partial bitstreams and running a test.

We see lots of faulty behavior but we are nearly convinced that all of it has to do with faults affecting the routing, and faults inserted into LUT truth tables are not being accepted despite disabling CRC checks before running write_bitstream with:
set_property BITSTREAM.GENERAL.CRC Disable [current_design]

You don't appear to provide the source code for BITMAN so hence this email to you with the following question.

Do we need to update the CRC when we change the truth table in a LUT? Any hint as to why our fault injection into LUT truth tables (by flipping one bit at a time) is not working would be greatly appreciated.

Jim
Professor Jim Plusquellic
University of New Mexico
UNM-Electrical & Computer Engineering Dept
211 Terrace Street NE
MSC01 1100
Albuquerque, NM 87131

Office: 505-277-0785
Cell: 240-475-1882
FAX: 505-277-1439
Email: jimp@ece.unm.edu
Web: http://ece-research.unm.edu/jimp