aboutsummaryrefslogtreecommitdiffstats
path: root/icebox
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2016-02-01 18:48:56 +0100
committerClifford Wolf <clifford@clifford.at>2016-02-01 18:48:56 +0100
commit496f4563ba4b0884ff257521f055fae574141e0a (patch)
tree68626312657b11980ce3633a3050a197a07e5991 /icebox
parentc0c06cdee938c823a8daca54baac0c2e26b3fa3b (diff)
downloadicestorm-496f4563ba4b0884ff257521f055fae574141e0a.tar.gz
icestorm-496f4563ba4b0884ff257521f055fae574141e0a.tar.bz2
icestorm-496f4563ba4b0884ff257521f055fae574141e0a.zip
Improvements in icefuzz/pinloc
Diffstat (limited to 'icebox')
-rw-r--r--icebox/icebox.py321
1 files changed, 314 insertions, 7 deletions
diff --git a/icebox/icebox.py b/icebox/icebox.py
index 97a6a65..59f47d5 100644
--- a/icebox/icebox.py
+++ b/icebox/icebox.py
@@ -1556,6 +1556,7 @@ ieren_db = {
( 5, 33, 1, 5, 33, 1),
( 6, 0, 0, 6, 0, 0),
( 6, 0, 1, 6, 0, 1),
+ ( 6, 33, 0, 6, 33, 0),
( 6, 33, 1, 6, 33, 1),
( 7, 0, 1, 7, 0, 1),
( 7, 33, 0, 7, 33, 0),
@@ -1614,8 +1615,10 @@ ieren_db = {
(23, 33, 0, 23, 33, 0),
(23, 33, 1, 23, 33, 1),
(24, 0, 0, 24, 0, 0),
+ (24, 0, 1, 24, 0, 1),
(24, 33, 0, 24, 33, 0),
(24, 33, 1, 24, 33, 1),
+ (25, 0, 0, 25, 0, 0),
(25, 33, 0, 25, 33, 0),
(25, 33, 1, 25, 33, 1),
(26, 0, 0, 26, 0, 0),
@@ -1689,6 +1692,7 @@ ieren_db = {
(33, 27, 1, 33, 27, 1),
(33, 28, 0, 33, 28, 0),
(33, 28, 1, 33, 28, 1),
+ (33, 29, 1, 33, 29, 1),
(33, 30, 0, 33, 30, 0),
(33, 30, 1, 33, 30, 1),
(33, 31, 0, 33, 31, 0),
@@ -1696,6 +1700,103 @@ ieren_db = {
}
pinloc_db = {
+ "1k-cb132": [
+ ( "A1", 1, 17, 1),
+ ("A10", 10, 17, 0),
+ ("A12", 12, 17, 0),
+ ( "A2", 2, 17, 1),
+ ( "A4", 4, 17, 0),
+ ( "A5", 4, 17, 1),
+ ( "A6", 6, 17, 1),
+ ( "A7", 7, 17, 0),
+ ( "B1", 0, 14, 1),
+ ("B14", 13, 15, 0),
+ ( "C1", 0, 14, 0),
+ ("C10", 11, 17, 0),
+ ("C11", 11, 17, 1),
+ ("C12", 12, 17, 1),
+ ("C14", 13, 14, 0),
+ ( "C3", 0, 13, 1),
+ ( "C4", 1, 17, 0),
+ ( "C5", 3, 17, 0),
+ ( "C6", 5, 17, 0),
+ ( "C7", 6, 17, 0),
+ ( "C8", 8, 17, 0),
+ ( "C9", 9, 17, 0),
+ ( "D1", 0, 11, 1),
+ ("D10", 9, 17, 1),
+ ("D11", 10, 17, 1),
+ ("D12", 13, 15, 1),
+ ("D14", 13, 13, 1),
+ ( "D3", 0, 13, 0),
+ ( "D4", 0, 12, 1),
+ ( "D5", 2, 17, 0),
+ ( "D6", 3, 17, 1),
+ ( "D7", 5, 17, 1),
+ ( "D8", 7, 17, 1),
+ ( "D9", 8, 17, 1),
+ ( "E1", 0, 11, 0),
+ ("E11", 13, 14, 1),
+ ("E12", 13, 13, 0),
+ ("E14", 13, 12, 0),
+ ( "E4", 0, 12, 0),
+ ("F11", 13, 12, 1),
+ ("F12", 13, 11, 1),
+ ("F14", 13, 8, 1),
+ ( "F3", 0, 10, 0),
+ ( "F4", 0, 10, 1),
+ ( "G1", 0, 8, 1),
+ ("G11", 13, 11, 0),
+ ("G12", 13, 9, 1),
+ ("G14", 13, 9, 0),
+ ( "G3", 0, 8, 0),
+ ( "G4", 0, 6, 1),
+ ( "H1", 0, 9, 0),
+ ("H11", 13, 8, 0),
+ ("H12", 13, 7, 1),
+ ( "H3", 0, 9, 1),
+ ( "H4", 0, 6, 0),
+ ( "J1", 0, 5, 1),
+ ("J11", 13, 7, 0),
+ ("J12", 13, 6, 1),
+ ( "J3", 0, 5, 0),
+ ("K11", 13, 4, 1),
+ ("K12", 13, 4, 0),
+ ("K14", 13, 6, 0),
+ ( "K3", 0, 3, 0),
+ ( "K4", 0, 3, 1),
+ ( "L1", 0, 2, 0),
+ ("L12", 13, 2, 0),
+ ("L14", 13, 3, 1),
+ ( "L4", 1, 0, 1),
+ ( "L5", 3, 0, 1),
+ ( "L6", 4, 0, 1),
+ ( "L7", 8, 0, 0),
+ ( "L8", 9, 0, 0),
+ ( "L9", 10, 0, 0),
+ ( "M1", 0, 2, 1),
+ ("M11", 11, 0, 0),
+ ("M12", 13, 1, 0),
+ ( "M3", 1, 0, 0),
+ ( "M4", 3, 0, 0),
+ ( "M6", 5, 0, 1),
+ ( "M7", 6, 0, 0),
+ ( "M8", 8, 0, 1),
+ ( "M9", 9, 0, 1),
+ ("N14", 13, 2, 1),
+ ("P10", 10, 0, 1),
+ ("P11", 11, 0, 1),
+ ("P12", 12, 0, 0),
+ ("P13", 12, 0, 1),
+ ("P14", 13, 1, 1),
+ ( "P2", 2, 0, 0),
+ ( "P3", 2, 0, 1),
+ ( "P4", 4, 0, 0),
+ ( "P5", 5, 0, 0),
+ ( "P7", 6, 0, 1),
+ ( "P8", 7, 0, 0),
+ ( "P9", 7, 0, 1),
+ ],
"1k-tq144": [
( "1", 0, 14, 1),
( "10", 0, 11, 0),
@@ -1796,19 +1897,15 @@ pinloc_db = {
],
"1k-vq100": [
( "1", 0, 14, 1),
- ( "2", 0, 14, 0),
- ( "3", 0, 13, 1),
- ( "4", 0, 13, 0),
- ( "7", 0, 12, 1),
- ( "8", 0, 12, 0),
- ( "9", 0, 10, 1),
( "10", 0, 10, 0),
+ ("100", 1, 17, 1),
( "12", 0, 9, 1),
( "13", 0, 9, 0),
( "15", 0, 8, 1),
( "16", 0, 8, 0),
( "18", 0, 6, 1),
( "19", 0, 6, 0),
+ ( "2", 0, 14, 0),
( "20", 0, 4, 1),
( "21", 0, 4, 0),
( "24", 0, 2, 1),
@@ -1817,11 +1914,13 @@ pinloc_db = {
( "27", 2, 0, 1),
( "28", 3, 0, 0),
( "29", 3, 0, 1),
+ ( "3", 0, 13, 1),
( "30", 4, 0, 0),
( "33", 6, 0, 1),
( "34", 7, 0, 0),
( "36", 6, 0, 0),
( "37", 7, 0, 1),
+ ( "4", 0, 13, 0),
( "40", 9, 0, 1),
( "41", 10, 0, 0),
( "42", 10, 0, 1),
@@ -1844,12 +1943,14 @@ pinloc_db = {
( "66", 13, 12, 0),
( "68", 13, 13, 0),
( "69", 13, 13, 1),
+ ( "7", 0, 12, 1),
( "71", 13, 14, 0),
( "72", 13, 14, 1),
( "73", 13, 15, 0),
( "74", 13, 15, 1),
( "78", 12, 17, 1),
( "79", 12, 17, 0),
+ ( "8", 0, 12, 0),
( "80", 11, 17, 1),
( "81", 10, 17, 1),
( "82", 10, 17, 0),
@@ -1858,6 +1959,7 @@ pinloc_db = {
( "86", 8, 17, 1),
( "87", 8, 17, 0),
( "89", 7, 17, 0),
+ ( "9", 0, 10, 1),
( "90", 6, 17, 1),
( "91", 6, 17, 0),
( "93", 5, 17, 1),
@@ -1866,7 +1968,6 @@ pinloc_db = {
( "96", 4, 17, 0),
( "97", 3, 17, 1),
( "99", 2, 17, 1),
- ("100", 1, 17, 1),
],
"1k-qn84": [
( "A1", 0, 14, 0),
@@ -1937,6 +2038,115 @@ pinloc_db = {
( "B8", 0, 5, 0),
( "B9", 0, 3, 0),
],
+ "8k-tq144:4k": [
+ ( "1", 0, 30, 1),
+ ( "10", 0, 25, 0),
+ ("101", 33, 27, 1),
+ ("102", 33, 28, 0),
+ ("104", 33, 29, 1),
+ ("105", 33, 30, 0),
+ ("106", 33, 30, 1),
+ ("107", 33, 31, 0),
+ ( "11", 0, 22, 1),
+ ("110", 31, 33, 1),
+ ("112", 31, 33, 0),
+ ("113", 30, 33, 1),
+ ("114", 30, 33, 0),
+ ("115", 29, 33, 1),
+ ("116", 29, 33, 0),
+ ("117", 28, 33, 1),
+ ("118", 27, 33, 0),
+ ("119", 26, 33, 1),
+ ( "12", 0, 22, 0),
+ ("120", 26, 33, 0),
+ ("121", 25, 33, 0),
+ ("122", 20, 33, 1),
+ ("124", 20, 33, 0),
+ ("125", 19, 33, 1),
+ ("128", 17, 33, 0),
+ ("129", 16, 33, 1),
+ ("130", 11, 33, 1),
+ ("134", 8, 33, 1),
+ ("135", 8, 33, 0),
+ ("136", 7, 33, 1),
+ ("137", 7, 33, 0),
+ ("138", 6, 33, 1),
+ ("139", 6, 33, 0),
+ ("141", 5, 33, 0),
+ ("142", 4, 33, 1),
+ ("143", 4, 33, 0),
+ ("144", 3, 33, 1),
+ ( "15", 0, 20, 1),
+ ( "16", 0, 20, 0),
+ ( "17", 0, 18, 1),
+ ( "18", 0, 18, 0),
+ ( "19", 0, 17, 1),
+ ( "2", 0, 30, 0),
+ ( "20", 0, 17, 0),
+ ( "21", 0, 16, 1),
+ ( "22", 0, 16, 0),
+ ( "23", 0, 12, 1),
+ ( "24", 0, 12, 0),
+ ( "25", 0, 11, 1),
+ ( "26", 0, 11, 0),
+ ( "28", 0, 6, 1),
+ ( "29", 0, 6, 0),
+ ( "3", 0, 28, 1),
+ ( "31", 0, 5, 1),
+ ( "32", 0, 5, 0),
+ ( "33", 0, 4, 1),
+ ( "34", 0, 4, 0),
+ ( "37", 4, 0, 0),
+ ( "38", 4, 0, 1),
+ ( "39", 6, 0, 1),
+ ( "4", 0, 28, 0),
+ ( "41", 7, 0, 1),
+ ( "42", 8, 0, 0),
+ ( "43", 11, 0, 1),
+ ( "44", 12, 0, 0),
+ ( "45", 12, 0, 1),
+ ( "47", 15, 0, 1),
+ ( "48", 16, 0, 0),
+ ( "49", 16, 0, 1),
+ ( "52", 17, 0, 0),
+ ( "55", 22, 0, 1),
+ ( "56", 24, 0, 0),
+ ( "60", 24, 0, 1),
+ ( "61", 25, 0, 0),
+ ( "62", 28, 0, 0),
+ ( "63", 29, 0, 0),
+ ( "64", 29, 0, 1),
+ ( "67", 30, 0, 0),
+ ( "68", 30, 0, 1),
+ ( "7", 0, 27, 1),
+ ( "70", 31, 0, 0),
+ ( "71", 31, 0, 1),
+ ( "73", 33, 1, 0),
+ ( "74", 33, 1, 1),
+ ( "75", 33, 2, 0),
+ ( "76", 33, 2, 1),
+ ( "78", 33, 3, 1),
+ ( "79", 33, 4, 0),
+ ( "8", 0, 27, 0),
+ ( "80", 33, 4, 1),
+ ( "81", 33, 5, 0),
+ ( "82", 33, 5, 1),
+ ( "83", 33, 6, 0),
+ ( "84", 33, 6, 1),
+ ( "85", 33, 10, 1),
+ ( "87", 33, 14, 1),
+ ( "88", 33, 15, 0),
+ ( "9", 0, 25, 1),
+ ( "90", 33, 15, 1),
+ ( "91", 33, 16, 0),
+ ( "93", 33, 16, 1),
+ ( "94", 33, 17, 0),
+ ( "95", 33, 19, 1),
+ ( "96", 33, 20, 1),
+ ( "97", 33, 21, 0),
+ ( "98", 33, 21, 1),
+ ( "99", 33, 23, 1),
+ ],
"8k-cb132:4k": [
( "A1", 2, 33, 0),
("A10", 25, 33, 0),
@@ -2034,6 +2244,103 @@ pinloc_db = {
( "P8", 17, 0, 0),
( "P9", 21, 0, 1),
],
+ "8k-cb132": [
+ ( "A1", 2, 33, 0),
+ ("A10", 25, 33, 0),
+ ("A11", 26, 33, 0),
+ ("A12", 30, 33, 1),
+ ( "A2", 3, 33, 0),
+ ( "A3", 3, 33, 1),
+ ( "A4", 5, 33, 0),
+ ( "A5", 10, 33, 1),
+ ( "A6", 16, 33, 1),
+ ( "A7", 17, 33, 0),
+ ( "B1", 0, 30, 1),
+ ("B14", 33, 28, 0),
+ ( "C1", 0, 30, 0),
+ ("C10", 22, 33, 1),
+ ("C11", 28, 33, 1),
+ ("C12", 29, 33, 1),
+ ("C14", 33, 24, 1),
+ ( "C3", 0, 27, 1),
+ ( "C4", 4, 33, 0),
+ ( "C5", 8, 33, 1),
+ ( "C6", 11, 33, 1),
+ ( "C7", 14, 33, 1),
+ ( "C9", 20, 33, 1),
+ ( "D1", 0, 25, 1),
+ ("D10", 27, 33, 0),
+ ("D11", 26, 33, 1),
+ ("D12", 33, 27, 1),
+ ("D14", 33, 23, 1),
+ ( "D3", 0, 27, 0),
+ ( "D4", 0, 22, 1),
+ ( "D5", 9, 33, 0),
+ ( "D6", 11, 33, 0),
+ ( "D7", 13, 33, 1),
+ ( "D9", 21, 33, 1),
+ ( "E1", 0, 25, 0),
+ ("E11", 33, 20, 1),
+ ("E12", 33, 21, 0),
+ ("E14", 33, 21, 1),
+ ( "E4", 0, 22, 0),
+ ("F11", 33, 19, 1),
+ ("F12", 33, 15, 0),
+ ("F14", 33, 16, 1),
+ ( "F3", 0, 21, 0),
+ ( "F4", 0, 21, 1),
+ ( "G1", 0, 17, 0),
+ ("G11", 33, 14, 1),
+ ("G12", 33, 11, 0),
+ ("G14", 33, 17, 0),
+ ( "G3", 0, 17, 1),
+ ( "G4", 0, 20, 0),
+ ( "H1", 0, 16, 1),
+ ("H11", 33, 10, 1),
+ ("H12", 33, 6, 1),
+ ( "H3", 0, 16, 0),
+ ( "H4", 0, 20, 1),
+ ( "J1", 0, 18, 0),
+ ("J11", 33, 6, 0),
+ ("J12", 33, 5, 1),
+ ( "J3", 0, 18, 1),
+ ("K11", 33, 4, 1),
+ ("K12", 33, 4, 0),
+ ("K14", 33, 5, 0),
+ ( "K3", 0, 11, 1),
+ ( "K4", 0, 11, 0),
+ ( "L1", 0, 6, 1),
+ ("L12", 33, 2, 0),
+ ("L14", 33, 3, 1),
+ ( "L4", 12, 0, 0),
+ ( "L5", 11, 0, 1),
+ ( "L6", 15, 0, 0),
+ ( "L8", 20, 0, 1),
+ ( "L9", 29, 0, 0),
+ ( "M1", 0, 6, 0),
+ ("M11", 30, 0, 0),
+ ("M12", 33, 1, 0),
+ ( "M3", 8, 0, 0),
+ ( "M4", 7, 0, 1),
+ ( "M6", 14, 0, 1),
+ ( "M7", 15, 0, 1),
+ ( "M9", 22, 0, 1),
+ ( "N1", 0, 4, 1),
+ ("N14", 33, 2, 1),
+ ( "P1", 0, 4, 0),
+ ("P10", 29, 0, 1),
+ ("P11", 30, 0, 1),
+ ("P12", 31, 0, 0),
+ ("P13", 31, 0, 1),
+ ("P14", 33, 1, 1),
+ ( "P2", 4, 0, 0),
+ ( "P3", 5, 0, 1),
+ ( "P4", 12, 0, 1),
+ ( "P5", 13, 0, 0),
+ ( "P7", 16, 0, 1),
+ ( "P8", 17, 0, 0),
+ ( "P9", 21, 0, 1),
+ ],
"8k-ct256": [
( "A1", 4, 33, 1),
("A10", 22, 33, 1),