aboutsummaryrefslogtreecommitdiffstats
path: root/backends
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-11-23 08:22:03 -0800
committerGitHub <noreply@github.com>2019-11-23 08:22:03 -0800
commit23fcdd96b3fda06bb9400b9b729f8a86a3725e84 (patch)
treefb3c0623c1c46fcc4d0c5777472c3fcf9fbdd52e /backends
parenta5767474830756319ce0fff53b81573701ec0cd2 (diff)
parent6841e3b1c2b2bc3124810f3a8f96ed00a96e954c (diff)
downloadyosys-23fcdd96b3fda06bb9400b9b729f8a86a3725e84.tar.gz
yosys-23fcdd96b3fda06bb9400b9b729f8a86a3725e84.tar.bz2
yosys-23fcdd96b3fda06bb9400b9b729f8a86a3725e84.zip
Merge pull request #1505 from YosysHQ/eddie/xaig_dff_adff
xaig_dff to support async flops $_DFF_[NP][NP][01]_
Diffstat (limited to 'backends')
-rw-r--r--backends/aiger/xaiger.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 03246a9b5..5d125b653 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -863,7 +863,8 @@ struct XAigerWriter
dict<SigSig, SigSig> replace;
for (auto it = holes_module->cells_.begin(); it != holes_module->cells_.end(); ) {
auto cell = it->second;
- if (cell->type.in("$_DFF_N_", "$_DFF_P_")) {
+ if (cell->type.in("$_DFF_N_", "$_DFF_NN0_", "$_DFF_NN1_", "$_DFF_NP0_", "$_DFF_NP1_",
+ "$_DFF_P_", "$_DFF_PN0_", "$_DFF_PN1", "$_DFF_PP0_", "$_DFF_PP1_")) {
SigBit D = cell->getPort("\\D");
SigBit Q = cell->getPort("\\Q");
// Remove the DFF cell from what needs to be a combinatorial box