From 005450b0ce26efc75bc873dea426c21e59c83263 Mon Sep 17 00:00:00 2001 From: John McMaster Date: Wed, 19 Dec 2018 11:41:12 -0800 Subject: [PATCH 1/2] intpips: solvability notes Signed-off-by: John McMaster --- fuzzers/050-intpips/README.md | 48 +++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/fuzzers/050-intpips/README.md b/fuzzers/050-intpips/README.md index 3c59b925..0981f28f 100644 --- a/fuzzers/050-intpips/README.md +++ b/fuzzers/050-intpips/README.md @@ -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 " ") + From 8bb84564093a7b1720f1344cc4e6c7f1cd155e07 Mon Sep 17 00:00:00 2001 From: John McMaster Date: Wed, 19 Dec 2018 13:56:22 -0800 Subject: [PATCH 2/2] rempips: solvability notes Signed-off-by: John McMaster --- fuzzers/056-rempips/README.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/fuzzers/056-rempips/README.md b/fuzzers/056-rempips/README.md index 3fc3d3e0..8ec4d2eb 100644 --- a/fuzzers/056-rempips/README.md +++ b/fuzzers/056-rempips/README.md @@ -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 +