aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/ice40/synth_ice40.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-09-05 12:00:23 -0700
committerGitHub <noreply@github.com>2019-09-05 12:00:23 -0700
commit903cd58acf7c490e0b75e34742966dc62e61028f (patch)
tree24ed0acd4627da70e762abfb362a20fa3ae64b49 /techlibs/ice40/synth_ice40.cc
parent58ec1df4c26599338f2f45941ed8ca402abfe607 (diff)
parentaa1491add3722e4cfae35755cc4cecfd3e5a6c82 (diff)
downloadyosys-903cd58acf7c490e0b75e34742966dc62e61028f.tar.gz
yosys-903cd58acf7c490e0b75e34742966dc62e61028f.tar.bz2
yosys-903cd58acf7c490e0b75e34742966dc62e61028f.zip
Merge pull request #1312 from YosysHQ/xaig_arrival
Allow arrival times of sequential outputs to be specified to abc9
Diffstat (limited to 'techlibs/ice40/synth_ice40.cc')
-rw-r--r--techlibs/ice40/synth_ice40.cc9
1 files changed, 8 insertions, 1 deletions
diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index c6de81bd9..a3890268a 100644
--- a/techlibs/ice40/synth_ice40.cc
+++ b/techlibs/ice40/synth_ice40.cc
@@ -238,7 +238,14 @@ struct SynthIce40Pass : public ScriptPass
{
if (check_label("begin"))
{
- run("read_verilog -icells -lib +/ice40/cells_sim.v");
+ std::string define;
+ if (device_opt == "lp")
+ define = "-D ICE40_LP";
+ else if (device_opt == "u")
+ define = "-D ICE40_U";
+ else
+ define = "-D ICE40_HX";
+ run("read_verilog -icells " + define + " -lib +/ice40/cells_sim.v");
run(stringf("hierarchy -check %s", help_mode ? "-top <top>" : top_opt.c_str()));
run("proc");
}