luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #361 from mcmasterg/pip_notes 

Pip solvability notes
This commit is contained in:
John McMaster 2018-12-19 14:37:38 -08:00 committed by GitHub
parent 3327a8e852 8bb8456409
commit 0df5eb744a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 63 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
fuzzers/050-intpips/README.md
View File

@ -5,3 +5,51 @@ Generic fuzzer for INT PIPs
Run this fuzzer a few times until it stops adding new PIPs to the
database.
Sample runs:
* 78fa4bd5
* jenkins 3, success
* intpips: 1 iter, N=200, -m 5 -M 15
* intpips todo final: N/A
* intpips segbits_int_l.db lines: 3374
* rempips todo initial: 279
* rempips todo final (32): 9
* 20e09ca7
* jenkins 21, rempips failure
* intpips: 6 iters, N=48, -m 15 -M 45
* intpips segbits_int_l.db lines: 3364
* rempips todo initial: 294
* rempips todo final (51): 294
* 1182359f
* jenkins 23, intpips failure
* inpips: 12 iters, N=48, -m 15 -M 45
* intpips todo final: 495
* inpips segbits_int_l.db lines: 5167
* rempips todo: N/A
### const0
These show up in large numbers after a full solve.
This means that it either has trouble solving these or simply cannot.
Counts from sample run
Includes:
* INT.BYP_ALT\*.LOGIC_OUTS\* (24)
* Ex: INT.BYP_ALT2.LOGIC_OUTS14
* INT.[NESW]\*.LOGIC_OUTS\* (576)
* Ex: INT.EE4BEG2.LOGIC_OUTS2
* Ex: INT.EL1BEG_N3.LOGIC_OUTS0
* Ex: INT.WR1BEG3.LOGIC_OUTS2
* INT.IMUX*.* (1151)
* Ex: INT.IMUX0.NL1END0
* Ex: INT.IMUX0.FAN_BOUNCE7
* Ex: INT.IMUX14.LOGIC_OUTS7
### GFAN
Includes:
* Easily solves: INT.IMUX_L*.GFAN*
* Can solve: INT.BYP_ALT*.GFAN*
* Cannot solve: INT.IMUX*.GFAN* (solves as "<m1 0> <const0>")

15
fuzzers/056-rempips/README.md
View File

@ -8,3 +8,18 @@ This fuzzer occationally fails (depending on some random variables). Just restar
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