search

byuccl / bfat

Bitstream Fault Analysis Tool
Apache License 2.0
12 stars 1 forks source link

CLB LUT Fault Modeling #37

Open wirthlin opened 1 year ago

wirthlin commented 1 year ago

It would be nice to model failures in the LUTs of a CLB. While the current approach clearly indicates that a LUT bit has been upset, it would be nice to see how the overall LUT changed. A simple approach would be to print the complete LUT contents before and after the LUT upset. This could later be expanded to evaluate how it impacts the logic function based on the number of inputs (for example, if one of the LUT inputs is hard coded to a value it is possible that the LUT upset is a "don't care"). Some logic evaluation could help with this understanding.

ethanrcampbell02 commented 1 year ago

Added detection for LUT initialization string modifications in commit d58aa0ae1e7150b2842860ff915e3758c84ddfe2 . I still need to add conversion to the underlying logic function.