Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move $dffe to dffs.{v,ys} | Eddie Hung | 2019-08-22 | 1 | -1/+33 |
| | |||||
* | Fix all comments from PR | SergeyDegtyar | 2019-08-21 | 1 | -105/+2 |
| | |||||
* | Fix tests; Remove simulation; | SergeyDegtyar | 2019-08-20 | 1 | -0/+108 |
- Add -map and -assert options for equiv_opt; !!! '-assert' option was commented for the next tests (unproven $equiv cells was found): - dffs; - div_mod; - latches; - mul_pow; - Add design -load; - Remove simulations; |