diff options
| author | SergeyDegtyar <sndegtyar@gmail.com> | 2019-08-20 15:52:25 +0300 |
|---|---|---|
| committer | SergeyDegtyar <sndegtyar@gmail.com> | 2019-08-20 15:52:25 +0300 |
| commit | 71dd412ac55860cbf51d91d26088515978f70116 (patch) | |
| tree | c13ac7fde357fd1a4c0ff485a3c66bcdc40bfdca /kernel | |
| parent | 153ec0541c17ee8fad093c002a2724bc33dfe4b9 (diff) | |
| download | yosys-71dd412ac55860cbf51d91d26088515978f70116.tar.gz yosys-71dd412ac55860cbf51d91d26088515978f70116.tar.bz2 yosys-71dd412ac55860cbf51d91d26088515978f70116.zip | |
Fix tests; Remove simulation;
- 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;
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions