Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Open aig frontend as binary file | Miodrag Milanovic | 2019-09-29 | 1 | -1/+1 |
| | |||||
* | Fix _TECHMAP_REMOVEINIT_ handling. | Marcin Kościelnicki | 2019-09-27 | 1 | -13/+17 |
| | | | | | | | | Previously, this wire was handled in the code that populated the "do or do not" techmap cache, resulting in init value removal being performed only for the first use of a given template. Fixes the problem identified in #1396. | ||||
* | Improve "portlist" command | Clifford Wolf | 2019-09-25 | 1 | -9/+26 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add "portlist" command | Clifford Wolf | 2019-09-24 | 2 | -0/+77 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | fix show command for macos | N. Engelhardt | 2019-09-23 | 1 | -0/+8 |
| | |||||
* | Revert abc9.cc | Eddie Hung | 2019-09-20 | 1 | -1/+1 |
| | |||||
* | Trim mismatched connection to be same (smallest) size | Eddie Hung | 2019-09-20 | 1 | -0/+6 |
| | |||||
* | Fix first testcase in #1391 | Eddie Hung | 2019-09-20 | 2 | -2/+2 |
| | |||||
* | Add "add -mod" | Clifford Wolf | 2019-09-20 | 1 | -0/+18 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add techmap_autopurge attribute, fixes #1381 | Clifford Wolf | 2019-09-19 | 1 | -5/+49 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Added extractinv pass | Marcin Kościelnicki | 2019-09-19 | 2 | -0/+124 |
| | |||||
* | Document (* gentb_skip *) attr for test_autotb | Eddie Hung | 2019-09-18 | 1 | -0/+3 |
| | |||||
* | Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext | Eddie Hung | 2019-09-18 | 3 | -0/+115 |
|\ | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells | ||||
| * | Revert "Make one check $shift(x)? only; change testcase to be 8b" | Eddie Hung | 2019-09-13 | 1 | -3/+2 |
| | | | | | | | | This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80. | ||||
| * | Tidy up | Eddie Hung | 2019-09-11 | 1 | -10/+16 |
| | | |||||
| * | Fix UB | Eddie Hung | 2019-09-11 | 1 | -2/+2 |
| | | |||||
| * | Cope with presence of reset muxes too | Eddie Hung | 2019-09-11 | 1 | -4/+25 |
| | | |||||
| * | Cleanup | Eddie Hung | 2019-09-11 | 1 | -25/+22 |
| | | |||||
| * | Only display log message if did_something | Eddie Hung | 2019-09-11 | 1 | -1/+1 |
| | | |||||
| * | Rename dffmuxext -> dffmux, also remove constants in dff+mux | Eddie Hung | 2019-09-11 | 4 | -57/+91 |
| | | |||||
| * | Make one check $shift(x)? only; change testcase to be 8b | Eddie Hung | 2019-09-06 | 1 | -2/+3 |
| | | |||||
| * | Remove log_cell() calls | Eddie Hung | 2019-09-04 | 1 | -3/+0 |
| | | |||||
| * | Add peepopt_dffmuxext | Eddie Hung | 2019-09-04 | 3 | -0/+60 |
| | | |||||
* | | Merge pull request #1374 from YosysHQ/eddie/fix1371 | Eddie Hung | 2019-09-15 | 1 | -4/+15 |
|\ \ | | | | | | | Fix two non-deterministic behaviours that cause divergence between compilers | ||||
| * | | Explicitly order function arguments | Eddie Hung | 2019-09-13 | 1 | -4/+15 |
| | | | |||||
| * | | Revert "SigSet<Cell*> to use stable compare class" | Eddie Hung | 2019-09-13 | 4 | -5/+5 |
| | | | | | | | | | | | | This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11. | ||||
| * | | SigSet<Cell*> to use stable compare class | Eddie Hung | 2019-09-12 | 4 | -5/+5 |
| | | | |||||
* | | | Fix handling of z_digit "?" and fix optimization of cmp with "z" | Clifford Wolf | 2019-09-13 | 1 | -0/+4 |
|/ / | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock | David Shah | 2019-09-12 | 1 | -1/+11 |
|\ \ | | | | | | | Add equiv_opt -multiclock | ||||
| * | | Add equiv_opt -multiclock | David Shah | 2019-09-11 | 1 | -1/+11 |
| | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | Add -match-init option to dff2dffs. | Marcin Kościelnicki | 2019-09-11 | 1 | -3/+26 |
|/ / | |||||
* | | Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixes | David Shah | 2019-09-11 | 1 | -3/+4 |
|\ \ | | | | | | | MSVC2 fixes | ||||
| * | | passes: opt_share: don't statically initialize mergeable_type_map | Sean Cross | 2019-09-09 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In 3d3779b0376b8204ed7637053176a07b7271ac1d this got turned from a `std::map<std::string, std::string>` to `std::map<IdString, IdString>`. Consequently, this exposed some initialization sequencing issues (#1361). Only initialize the map when it's first used, to avoid these static issues. This fixes #1361. Signed-off-by: Sean Cross <sean@xobs.io> | ||||
* | | | Fix misspelling | Eddie Hung | 2019-09-09 | 1 | -1/+1 |
|/ / | |||||
* | | techmap: Add support for extracting init values of ports | Marcin Kościelnicki | 2019-09-07 | 1 | -1/+70 |
| | | |||||
* | | Merge pull request #1312 from YosysHQ/xaig_arrival | Eddie Hung | 2019-09-05 | 1 | -42/+16 |
|\ \ | | | | | | | Allow arrival times of sequential outputs to be specified to abc9 | ||||
| * | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-04 | 1 | -0/+24 |
| |\| | |||||
| * | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-02 | 3 | -8/+3 |
| |\ \ | |||||
| * \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -16/+10 |
| |\ \ \ | |||||
| * \ \ \ | Merge branch 'eddie/xilinx_srl' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -4/+0 |
| |\ \ \ \ | |||||
| * \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -1/+1 |
| |\ \ \ \ \ | |||||
| * | | | | | | Use a dummy box file if none specified | Eddie Hung | 2019-08-28 | 1 | -3/+8 |
| | | | | | | | |||||
| * | | | | | | Account for D port being a constant | Eddie Hung | 2019-08-28 | 1 | -4/+4 |
| | | | | | | | |||||
| * | | | | | | Merge branch 'eddie/xilinx_srl' into xaig_arrival | Eddie Hung | 2019-08-28 | 5 | -177/+608 |
| |\ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-28 | 10 | -122/+772 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | Cleanup | Eddie Hung | 2019-08-23 | 1 | -130/+59 |
| | | | | | | | | | |||||
| * | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-23 | 3 | -7/+29 |
| |\ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-21 | 1 | -1/+1 |
| |\ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ | Merge branch 'eddie/fix_techmap' into xaig_arrival | Eddie Hung | 2019-08-20 | 1 | -1/+1 |
| |\ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | techmap -max_iter to apply to each module individually | Eddie Hung | 2019-08-20 | 1 | -4/+6 |
| | | | | | | | | | | | |