From 8354bc6086f11002cc58497f91f43200a09c13a9 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 31 Aug 2017 14:55:36 +0200 Subject: Removed files that are under GNU licenses --- icebox/tc_xlat_netnames.py | 79 ---------------------------------------------- 1 file changed, 79 deletions(-) delete mode 100644 icebox/tc_xlat_netnames.py (limited to 'icebox/tc_xlat_netnames.py') diff --git a/icebox/tc_xlat_netnames.py b/icebox/tc_xlat_netnames.py deleted file mode 100644 index 53b73de..0000000 --- a/icebox/tc_xlat_netnames.py +++ /dev/null @@ -1,79 +0,0 @@ -# Test case for `icebox_asc2hlc': Does net name translation work correctly? -# Copyright (C) 2017 Roland Lutz -# -# This program is free software: you can redistribute it and/or -# modify it under the terms of the GNU General Public License as -# published by the Free Software Foundation, either version 3 of -# the License, or (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. - -import sys -import icebox -from icebox_asc2hlc import translate_netname - -def test_netname_translation(ic): - sys.stderr.write("testing forward netname translation " - "for the `%s' device...\n" % ic.device) - all_tiles = set() - for x in range(ic.max_x + 1): - for y in range(ic.max_y + 1): - if ic.tile(x, y) is not None: - all_tiles.add((x, y)) - - netnames = set() - failed = False - - for group in ic.group_segments(all_tiles, connect_gb = False): - is_span = set(net.startswith('sp') for x, y, net in group) - assert len(is_span) == 1 - if True not in is_span: - # only span nets are interesting here - continue - - s = set() - for seg in group: - s.add(translate_netname(seg[0], seg[1], - ic.max_x - 1, ic.max_y - 1, seg[2])) - if len(s) != 1: - failed = True - print("translated netnames don't match") - for seg in group: - print("%d %d %s" % seg, "->", - translate_netname(seg[0], seg[1], - ic.max_x - 1, ic.max_y - 1, seg[2])) - print() - - for dulpicate_netname in netnames.intersection(s): - failed = True - print("duplicate netname: %s" % dulpicate_netname) - for seg in group: - print("%d %d %s" % seg, "->", - translate_netname(seg[0], seg[1], - ic.max_x - 1, ic.max_y - 1, seg[2])) - print() - - netnames.update(s) - - if failed: - sys.stderr.write("ERROR\n") - sys.exit(1) - -def main(): - ic = icebox.iceconfig() - ic.setup_empty_384() - test_netname_translation(ic) - - ic = icebox.iceconfig() - ic.setup_empty_1k() - test_netname_translation(ic) - - ic = icebox.iceconfig() - ic.setup_empty_8k() - test_netname_translation(ic) - -if __name__ == '__main__': - main() -- cgit v1.2.3