diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-12 15:25:30 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-02-27 10:17:29 -0800 |
| commit | 12d70ca8fbad73f2615e711e786f8b90fa005bee (patch) | |
| tree | 6459527e212b6e0ac65d99ad023606b6afd5e9f4 /backends | |
| parent | 46a89d7264f597be9ad10390fa44c22e16538548 (diff) | |
| download | yosys-12d70ca8fbad73f2615e711e786f8b90fa005bee.tar.gz yosys-12d70ca8fbad73f2615e711e786f8b90fa005bee.tar.bz2 yosys-12d70ca8fbad73f2615e711e786f8b90fa005bee.zip | |
xilinx: improve specify functionality
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 3cf36aca8..c996b0776 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -227,6 +227,9 @@ struct XAigerWriter continue; } + if (cell->type.in("$specify2", "$specify3", "$specrule")) + continue; + if (inst_module) { bool abc9_flop = false; auto it = cell->attributes.find("\\abc9_box_seq"); |