aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap/abc9.ys
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-151-0/+13
|\
| * abc9: aAdd test to check $_NOT_s are absorbedEddie Hung2020-01-151-0/+12
* | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-0/+15
* | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-131-0/+13
|/
* Add abc9 sanity testEddie Hung2020-01-091-0/+40