Project X-Ray
Project X-Ray

# 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