def my_minimize(chip, table):
sys.stdout.write("({:3d}, {:3d})\t{:4d}\t".format(chip[0], chip[1],
len(table)))
new_table = minimise(table, None)
assert table_is_subset_of(table, new_table)
sys.stdout.write("\033[{}m{:4d}\033[39m\t{:.2f}%\n".format(
32 if len(new_table) < 1024 else 31, len(new_table),
100. * float(len(table) - len(new_table)) / len(table)))
return chip, new_table
def my_minimize(chip, table):
sys.stdout.write("({:3d}, {:3d})\t{:4d}\t".format(chip[0], chip[1], len(table)))
new_table = minimise(table, None)
assert table_is_subset_of(table, new_table)
sys.stdout.write(
"\033[{}m{:4d}\033[39m\t{:.2f}%\n".format(
32 if len(new_table) < 1024 else 31, len(new_table), 100.0 * float(len(table) - len(new_table)) / len(table)
)
)
return chip, new_table
def my_minimize(chip, table, whole_table, provide_offset, remove_default_entries, times=list()):
sys.stdout.write("({:3d}, {:3d})\t{:4d}\t".format(
chip[0], chip[1], len(table)))
sys.stdout.flush()
table_ = table
if remove_default_entries:
table_ = rde_minimise(table, None)
if whole_table:
new_table = use_espresso_on_entire_table(table_, provide_offset)
else:
new_table = use_espresso(table_, times, provide_offset)
assert table_is_subset_of(table, new_table)
sys.stdout.write("\033[{}m{:4d}\033[39m\t{:.2f}%\n".format(
32 if len(new_table) < 1024 else 31,
len(new_table),
100. * float(len(table) - len(new_table)) / len(table)
))
return chip, new_table
import argparse
import common
from rig.routing_table import table_is_subset_of
from six import iteritems
import sys
if __name__ == "__main__":
# Parse the arguments
parser = argparse.ArgumentParser()
parser.add_argument("original_table")
parser.add_argument("compressed_table")
args = parser.parse_args()
# Load and test all routing tables
print("Loading...")
with open(args.original_table, "rb") as f:
original = common.read_routing_tables(f)
with open(args.compressed_table, "rb") as f:
compressed = common.read_routing_tables(f)
print("Testing...")
for chip, table in iteritems(original):
print("\t{}".format(chip))
assert table_is_subset_of(table, compressed[chip])
