aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common/abc9_map.v
Commit message (Collapse)AuthorAgeFilesLines
* techmap: Add support for [] wildcards in techmap_celltype.Marcelina Koƛcielnicka2020-08-021-1/+1
| | | | Fixes #1826.
* abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_Eddie Hung2020-05-141-2/+2
| | | | instead of moving them to $__ prefix
* abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-2/+2
|
* abc9_ops/xaiger: further reducing Module::derive() calls by ...Eddie Hung2020-05-141-3/+3
| | | | replacing _all_ (* abc9_box *) instantiations with their derived types
* abc9: only do +/abc9_map if `DFFEddie Hung2020-05-141-0/+2
|
* abc9: not enough to techmap_fail on (* init=1 *), hide them using $__Eddie Hung2020-05-141-10/+14
|
* abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-0/+21