luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
prjxray/fuzzers/056-rempips
History
John McMaster 8bb8456409 rempips: solvability notes 
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
 		2018-12-19 14:24:50 -08:00
..
.gitignore rempips: log progress 2018-11-28 13:50:07 -08:00
Makefile int_loop: consolidate maketodo.py, tweaks 2018-12-11 20:48:21 -08:00
README.md rempips: solvability notes 2018-12-19 14:24:50 -08:00
generate.py Rename seg_*.db => segbits_*.db for DBFIXUP 2018-11-28 13:37:58 -08:00
generate.sh rempips: log progress 2018-11-28 13:50:07 -08:00
generate.tcl rempips: fix todo.txt path 2018-12-17 14:30:44 -08:00
top.v Move rempips experiment to fuzzers/056-rempips, Update database 2017-12-20 22:46:39 +01:00

README.md

Fuzzer for the remaining INT PIPs

Run this fuzzer a few times until it produces an empty todo.txt file (make run will run this loop).

This fuzzer occationally fails (depending on some random variables). Just restart it if you encounter this issue. The script behind make run automatically handles errors by re-starting a run if an error occurs.

Solvability

Known issues:

  • INT.CTRL0: goes into CLB's SR. This cannot be routed through

Jenkins build 3 (78fa4bd5, success) for example solved the following types:

  • INT_L.EE4BEG0.LH12
  • INT_L.FAN_ALT1.GFAN1
  • INT_L.FAN_ALT4.BYP_BOUNCE_N3_3
  • INT_L.LH0.EE4END3
  • INT_L.LH0.LV_L9
  • INT_L.LH0.SS6END3
  • INT_L.LVB_L12.WW4END3
  • INT_L.SW6BEG0.LV_L0