module.b.sig,
module.add_output,
module.eq_output],
- "top")
+ "part_sig_add")
def run_yosys(test_name):
liberty_file = os.getenv("HOME")+"/coriolis-2.x/src/alliance-check-toolkit/cells/nsxlib/nsxlib.lib"
print("test_name:",test_name)
cmd = [
- "read_ilang top.il",
- "hierarchy -check -top top",
- "synth -top top",
+ "read_ilang part_sig_add.il",
+ "hierarchy -check -top part_sig_add",
+ "synth -top part_sig_add",
"dfflibmap -liberty "+liberty_file,
"abc -liberty "+liberty_file,
"clean",
vl = rtlil.convert(dut, name=test_name, ports=ports)
with open("%s.il" % test_name, "w") as f:
f.write(vl)
- run_yosys(test_name)
+ #run_yosys(test_name)
if __name__ == "__main__":