diff options
| author | David Shah <davey1576@gmail.com> | 2017-10-29 16:14:15 +0000 |
|---|---|---|
| committer | David Shah <davey1576@gmail.com> | 2017-10-29 16:14:15 +0000 |
| commit | e9e9d0e9cb858e5643aff9684de7e8cded68405f (patch) | |
| tree | b1f4b0fc353037b3e96e996cd8fb9c903a4525b1 /icefuzz/database.py | |
| parent | d5b610f0e82f38d4b608f3b0c3c8ac5c093b4724 (diff) | |
Share glb_netwk data between 5k and 8k parts
Diffstat (limited to 'icefuzz/database.py')
| -rw-r--r-- | icefuzz/database.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/icefuzz/database.py b/icefuzz/database.py index 8a068ee..8cb81d8 100644 --- a/icefuzz/database.py +++ b/icefuzz/database.py @@ -60,10 +60,6 @@ def read_database(filename, tile_type): elif m.group(1) in ["1", "2"]: line[1] = re.sub(r"glb_netwk_", "1k_glb_netwk_", line[1]) raw_db.append((bit, (line[0], line[1]))) - #Slightly hacky approach for the 5k devices, which are the same as the 8k - if m.group(1) == "7": - line[1] = re.sub(r"8k_glb_netwk_", "5k_glb_netwk_", line[1]) - raw_db.append((bit, (line[0], line[1]))) elif line[0] == "Cascade": match = re.match("LH_LC0(\d)_inmux02_5", line[1]) if match: |