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

Add LP384 support to icetime

This commit is contained in:
Clifford Wolf 2017-03-13 11:34:02 +01:00
parent 314628ffd3
commit b2b7985e81
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
icetime/icetime.cc
View File

@ -644,6 +644,9 @@ double get_delay(std::string cell_type, std::string in_port, std::string out_por
if (cell_type == "INTERCONN")
return 0;
if (device_type == "lp384")
return get_delay_lp384(cell_type, in_port, out_port);
if (device_type == "lp1k")
return get_delay_lp1k(cell_type, in_port, out_port);
@ -1873,7 +1876,7 @@ void help(const char *cmd)
printf(" -j <output_file>\n");
printf(" write timing report in json format to the file\n");
printf("\n");
printf(" -d lp1k|hx1k|lp8k|hx8k\n");
printf(" -d lp384|lp1k|hx1k|lp8k|hx8k\n");
printf(" select the device type (default = lp variant)\n");
printf("\n");
printf(" -C <chipdb-file>\n");
@ -2003,6 +2006,10 @@ int main(int argc, char **argv)
printf("// Warning: Missing -d parameter. Assuming '%s' device.\n", device_type.c_str());
}
if (device_type == "lp384") {
if (config_device != "384")
goto device_chip_mismatch;
} else
if (device_type == "lp1k" || device_type == "hx1k") {
if (config_device != "1k")
goto device_chip_mismatch;

2
icetime/timings.py
View File

@ -41,7 +41,7 @@ def timings_to_c(chip, f):
print(" exit(1);")
print("}")
for db in "lp1k lp8k hx1k hx8k".split():
for db in "lp384 lp1k lp8k hx1k hx8k".split():
with open("../icefuzz/timings_%s.txt" % db, "r") as f:
timings_to_c(db, f);