mirror of https://github.com/openXC7/prjxray.git
64 lines
1.5 KiB
Markdown
64 lines
1.5 KiB
Markdown
|
|
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>")
|
|
|
|
### IMUX
|
|
|
|
* Okay: BYP_ALT*.VCC_WIRE
|
|
* Cannot solve: INT.IMUX[0-9]+.VCC_WIRE
|
|
* Cannot solve: INT.IMUX_L[0-9]+.VCC_WIRE
|
|
|
|
See https://github.com/SymbiFlow/prjxray/issues/383
|
|
|