diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-04-22 18:00:46 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-04-22 18:00:46 +0200 |
commit | 60ac1bd178eef96b5cc34091dca7552cc3cad70f (patch) | |
tree | e3fcf82b5b08cb345139bd13568d26f7a86c3c3a /backends/blif/blif.cc | |
parent | 965b0d59b5da01dc34f01e01d723b75140df7c60 (diff) | |
download | yosys-60ac1bd178eef96b5cc34091dca7552cc3cad70f.tar.gz yosys-60ac1bd178eef96b5cc34091dca7552cc3cad70f.tar.bz2 yosys-60ac1bd178eef96b5cc34091dca7552cc3cad70f.zip |
Added support for "active high" and "active low" latches in BLIF back-end
Diffstat (limited to 'backends/blif/blif.cc')
-rw-r--r-- | backends/blif/blif.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc index f9de87d9f..27f08ea1a 100644 --- a/backends/blif/blif.cc +++ b/backends/blif/blif.cc @@ -317,6 +317,18 @@ struct BlifDumper continue; } + if (!config->icells_mode && cell->type == "$_DLATCH_N_") { + f << stringf(".latch %s %s al %s%s\n", cstr(cell->getPort("\\D")), cstr(cell->getPort("\\Q")), + cstr(cell->getPort("\\E")), cstr_init(cell->getPort("\\Q"))); + continue; + } + + if (!config->icells_mode && cell->type == "$_DLATCH_P_") { + f << stringf(".latch %s %s ah %s%s\n", cstr(cell->getPort("\\D")), cstr(cell->getPort("\\Q")), + cstr(cell->getPort("\\E")), cstr_init(cell->getPort("\\Q"))); + continue; + } + if (!config->icells_mode && cell->type == "$lut") { f << stringf(".names"); auto &inputs = cell->getPort("\\A"); |