| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it | Eddie Hung | 2020-05-14 | 1 | -3/+8 |
| * | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__ | Eddie Hung | 2020-05-14 | 1 | -2/+21 |
| * | abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too | Eddie Hung | 2020-05-14 | 1 | -5/+7 |
| * | abc9: add testcase reduced from #1970 | Eddie Hung | 2020-04-20 | 1 | -0/+19 |
| * | write_xaiger: fix for (* keep *) on flop output | Eddie Hung | 2020-01-21 | 1 | -0/+15 |
| * | Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff | Eddie Hung | 2019-11-21 | 1 | -1/+1 |
| |\ | |||||
| * | | async2sync -> clk2fflogic | Eddie Hung | 2019-11-21 | 1 | -1/+1 |
| * | | Add a equiv test too | Eddie Hung | 2019-11-19 | 1 | -0/+16 |
| |/ | |||||
| * | Update test with more accurate LUT mask | Eddie Hung | 2019-07-12 | 1 | -1/+1 |
| * | Add test | Eddie Hung | 2019-07-02 | 1 | -0/+10 |
| * | Add tests/various/abc9.{v,ys} with SCC test | Eddie Hung | 2019-06-24 | 1 | -0/+14 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |