luke
/
icestorm
mirror of https://github.com/YosysHQ/icestorm.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Progress in icetime

This commit is contained in:
Clifford Wolf 2015-10-22 15:50:25 +02:00
parent 64db1d0979
commit 25aa4ce322
3 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
icetime/Makefile
View File

@ -21,6 +21,7 @@ uninstall:
test0 test1 test2 test3 test4 test5 test6 test7 test8 test9: icetime
python3 mktest.py $@
./icetime -P tq144 -p $@.pcf $@.txt $@_out.v
yosys $@.ys
mktest: test0 test1 test2 test3 test4 test5 test6 test7 test8 test9

2
icetime/icetime.cc
View File

@ -711,7 +711,7 @@ int main(int argc, char **argv)
fprintf(fout, ");\n");
for (int net : declared_nets)
fprintf(fout, " (* keep *) wire net_%d;\n", net);
fprintf(fout, " wire net_%d;\n", net);
for (auto &str : extra_vlog)
fprintf(fout, "%s", str.c_str());

16
icetime/mktest.py
View File

@ -22,11 +22,25 @@ with open("%s.pcf" % sys.argv[1], "w") as f:
print("set_io o2 %s" % pins[3], file=f)
print("set_io o3 %s" % pins[4], file=f)
with open("%s.ys" % sys.argv[1], "w") as f:
print("echo on", file=f)
print("read_verilog -lib cells.v", file=f)
print("read_verilog %s_ref.v" % sys.argv[1], file=f)
print("read_verilog %s_out.v" % sys.argv[1], file=f)
print("prep", file=f)
print("equiv_make top chip equiv", file=f)
print("hierarchy -top equiv", file=f)
print("equiv_struct", file=f)
print("equiv_purge", file=f)
print("opt_clean -purge", file=f)
print("show -format dot -prefix %s" % sys.argv[1], file=f)
os.system("bash ../icefuzz/icecube.sh %s.v" % sys.argv[1])
os.rename("%s.v" % sys.argv[1], "%s_in.v" % sys.argv[1])
os.rename("%s.vsb" % sys.argv[1], "%s_ref.v" % sys.argv[1])
os.system("grep -v defparam %s.vsb > %s_ref.v" % (sys.argv[1], sys.argv[1]))
os.remove("%s.bin" % sys.argv[1])
os.remove("%s.vsb" % sys.argv[1])
os.remove("%s.glb" % sys.argv[1])
os.remove("%s.psb" % sys.argv[1])
os.remove("%s.sdf" % sys.argv[1])