| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Update to latest ABC changes | Miodrag Milanovic | 2022-09-08 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Bump version | github-actions[bot] | 2022-09-08 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Update to latest abc | Miodrag Milanovic | 2022-09-07 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | verific: better fix for read callback | Miodrag Milanovic | 2022-09-07 | 1 | -5/+3 | |
| | | | | ||||||
| * | | | verific: fix crash when using prep right after read | Miodrag Milanovic | 2022-09-07 | 1 | -0/+3 | |
| | | | | ||||||
| * | | | Bump version | github-actions[bot] | 2022-09-07 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Next dev cycle | Miodrag Milanovic | 2022-09-06 | 2 | -2/+5 | |
| | | | | ||||||
| * | | | Release version 0.21 | Miodrag Milanovic | 2022-09-06 | 2 | -3/+3 | |
| | | | | ||||||
| * | | | Update Changelog | Miodrag Milanovic | 2022-09-06 | 1 | -0/+13 | |
| | | | | ||||||
| * | | | Update documentation | Miodrag Milanovic | 2022-09-06 | 1 | -170/+288 | |
| | | | | ||||||
| * | | | Bump version | github-actions[bot] | 2022-09-06 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Replaced old markdown Issue template with new GitHub forms templates (#3468) | Aki | 2022-09-05 | 4 | -24/+100 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | This PR replaces the old markdown issue template with the new YAML based form templates for GitHub, this allows us to enforce required fields and also auto-tag with labels. This doesn't remove the ability to open a blank issue, but it is obscured so it is not the primary thing people are likely to do. This also added link entries in the issue creation page to link to the Discussions tab, Community Slack, and IRC channel. | |||||
| * | | | Merge pull request #3470 from jix/smtbmc-faster-parse | Jannis Harder | 2022-09-05 | 1 | -12/+9 | |
| |\ \ \ | | | | | | | | | smtbmc: Avoid unnecessary string copies when parsing solver output | |||||
| | * | | | smtbmc: Avoid unnecessary string copies when parsing solver output | Jannis Harder | 2022-09-02 | 1 | -12/+9 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-09-01 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3087 from tgingold-cern/sf2 | Miodrag Milanović | 2022-08-31 | 5 | -6/+305 | |
| |\ \ \ | | | | | | | | | complete support for microsemi smartfusion2 and igloo2bar | |||||
| | * | | | sf2: add NOTES about using yosys for smartfusion2 and igloo2 | Tristan Gingold | 2022-08-31 | 1 | -0/+84 | |
| | | | | | ||||||
| | * | | | sf2: add a test for $alu gate | Tristan Gingold | 2022-08-31 | 1 | -0/+22 | |
| | | | | | ||||||
| | * | | | sf2: suport $alu gate and ARI1 implementation | Tristan Gingold | 2022-08-31 | 2 | -2/+65 | |
| | | | | | ||||||
| | * | | | synth_sf2: purge on last clean | Tristan Gingold | 2022-08-31 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | | | LiberoSoc don't like unused nets. | |||||
| | * | | | sf2/cells_sim.v: add XTLOSC, SYSRESET cells | Tristan Gingold | 2022-08-31 | 1 | -1/+110 | |
| | | | | | ||||||
| | * | | | sf2/cells_sim.v: add IOSTD parameter to I/O cells | Tristan Gingold | 2022-08-31 | 1 | -0/+11 | |
| | | | | | | | | | | | | | | | | | | | | | This parameter is set by LiberoSoc IPs, so it is needed to avoid errors when using those IPs. | |||||
| | * | | | synth_sf2: add -discard-ffinit option to discard ff initial value | Tristan Gingold | 2022-08-31 | 1 | -1/+11 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | sf2 ff have no initial values, but some IP cores use initial values. In order to use those cores on sf2, it is required to discard the initial value (to be carefully used). | |||||
| * | | | | Merge pull request #3458 from QuantamHD/abc_faster | N. Engelhardt | 2022-08-31 | 1 | -6/+6 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
| | * | | | Improves ABC command runtime by 10-100x | Ethan Mahintorabi | 2022-08-24 | 1 | -6/+6 | |
| | | |/ | |/| | | | | | | | | | | | | | | | | | | | After speaking with the author of ABC he let me know that ifraig is a very old command, and that &get; &fraig -x; &put is over 100x faster than ifraig with improved PPA results. After making the change I confirmed that this is in fact a major speed up. On our internal designs in O(millions) of standard cells we saw multi hour reductions in runtime. Also included is an improvement to the dress command. Using AIG based transformations removes the spec it SATs against. Proving the input blif will make sure that no matter what commands are run the dress command can still do its job. I noticed a regression against some LUT mapping jobs that prompted me to fix this. | |||||
| * | | | Bump version | github-actions[bot] | 2022-08-30 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3463 from YosysHQ/micko/hierarchy_fix | Miodrag Milanović | 2022-08-29 | 3 | -0/+16 | |
| |\ \ \ | | | | | | | | | Makes sure to set initial_top when top change, fixes #3462 | |||||
| | * | | | Add test for bug 3462 | Miodrag Milanovic | 2022-08-29 | 2 | -0/+15 | |
| | | | | | ||||||
| | * | | | Makes sure to set initial_top when change, fixes #3462 | Miodrag Milanovic | 2022-08-26 | 1 | -0/+1 | |
| | | | | | ||||||
| * | | | | Fix mingw build | Miodrag Milanovic | 2022-08-29 | 1 | -0/+3 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-08-26 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge pull request #3461 from YosysHQ/aki/hashlib_assert | N. Engelhardt | 2022-08-25 | 1 | -1/+1 | |
| |\ \ \ | ||||||
| | * | | | kernel: hashlib: cleaned up message about table size in cases where ↵ | Aki Van Ness | 2022-08-25 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | `sizeof(int) == 4`, (closes #3440) | |||||
| * | | | | Merge pull request #3449 from YosysHQ/aki/show_pathrw | N. Engelhardt | 2022-08-25 | 1 | -0/+1 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
| | * | | | yosys: passes: cmds: show: added filename re-writing to `show -lib` | Aki Van Ness | 2022-08-22 | 1 | -0/+1 | |
| | |/ / | ||||||
| * | | | use inttypes format specifiers | N. Engelhardt | 2022-08-25 | 1 | -3/+3 | |
| | | | | ||||||
| * | | | dump runtime information for passes to json | N. Engelhardt | 2022-08-25 | 1 | -1/+28 | |
| | | | | ||||||
| * | | | Merge pull request #3457 from KrystalDelusion/docs_width | N. Engelhardt | 2022-08-25 | 35 | -184/+198 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | Fitting help messages to 80 character width | KrystalDelusion | 2022-08-24 | 35 | -184/+198 | |
| |/ / | | | | | | | | | | | | | | | | | Uses the regex below to search (using vscode): ^\t\tlog\("(.{10,}(?<!\\n)|.{81,}\\n)"\); Finds any log messages double indented (which help messages are) and checks if *either* there are is no newline character at the end, *or* the number of characters before the newline is more than 80. | |||||
| * | | Bump version | github-actions[bot] | 2022-08-19 | 1 | -1/+1 | |
| | | | ||||||
| * | | Merge pull request #3450 from jix/write_aiger_nonff | Jannis Harder | 2022-08-18 | 2 | -1/+8 | |
| |\ \ | | | | | | | write_aiger: Fix non-$_FF_ FFs | |||||
| | * | | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 2 | -1/+8 | |
| |/ / | | | | | | | This broke while switching sby's formal flows to always use $_FF_'s. | |||||
| * | | Bump version | github-actions[bot] | 2022-08-17 | 1 | -1/+1 | |
| | | | ||||||
| * | | Merge pull request #3434 from jix/witness_flow | Jannis Harder | 2022-08-16 | 33 | -167/+2255 | |
| |\ \ | | | | | | | Updated formal flow with new witness format | |||||
| | * | | sim: -hdlname option to preserve flattened hierarchy in sim output | Jannis Harder | 2022-08-16 | 2 | -9/+43 | |
| | | | | ||||||
| | * | | smtbmc: Set step range for --yw and dont skip steps for --check-witness | Jannis Harder | 2022-08-16 | 1 | -2/+14 | |
| | | | | ||||||
| | * | | Update CEX minimization patches for abc | Jannis Harder | 2022-08-16 | 1 | -1/+1 | |
| | | | | ||||||
| | * | | clk2fflogic: Generate less unused logic when using verific | Jannis Harder | 2022-08-16 | 1 | -1/+4 | |
| | | | | | | | | | | | | | | | | | | | Verific generates a lot of FFs with an unused async load and we cannot always optimize that away before running clk2fflogic, so check for that special case here. | |||||
| | * | | rename: Add -witness mode | Jannis Harder | 2022-08-16 | 2 | -0/+83 | |
| | | | | ||||||
| | * | | yosys-witness: Add stats command | Jannis Harder | 2022-08-16 | 1 | -0/+18 | |
| | | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |