aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/satgen.cc
Commit message (Collapse)AuthorAgeFilesLines
* Respect \A_SIGNED for $shiftXiretza2020-08-181-2/+2
| | | | | | This reflects the behaviour of $shr/$shl, which sign-extend their A operands to the size of their output, then do a logical shift (shift in 0-bits).
* satgen: Add support for dffe, sdff, sdffe, sdffce cells.Marcelina Koƛcielnicka2020-07-241-4/+55
|
* satgen: Move importCell out of the header.Marcelina Koƛcielnicka2020-07-191-0/+1188
This function has no hope of ever getting inlined anyway, and it speeds up yosys compile time by 7%.