aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Update ChangelogMiodrag Milanovic2022-09-061-0/+13
|
* Update documentationMiodrag Milanovic2022-09-061-170/+288
|
* Bump versiongithub-actions[bot]2022-09-061-1/+1
|
* Replaced old markdown Issue template with new GitHub forms templates (#3468)Aki2022-09-054-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-parseJannis Harder2022-09-051-12/+9
|\ | | | | smtbmc: Avoid unnecessary string copies when parsing solver output
| * smtbmc: Avoid unnecessary string copies when parsing solver outputJannis Harder2022-09-021-12/+9
|/
* Bump versiongithub-actions[bot]2022-09-011-1/+1
|
* Merge pull request #3087 from tgingold-cern/sf2Miodrag Milanović2022-08-315-6/+305
|\ | | | | complete support for microsemi smartfusion2 and igloo2bar
| * sf2: add NOTES about using yosys for smartfusion2 and igloo2Tristan Gingold2022-08-311-0/+84
| |
| * sf2: add a test for $alu gateTristan Gingold2022-08-311-0/+22
| |
| * sf2: suport $alu gate and ARI1 implementationTristan Gingold2022-08-312-2/+65
| |
| * synth_sf2: purge on last cleanTristan Gingold2022-08-311-2/+2
| | | | | | | | LiberoSoc don't like unused nets.
| * sf2/cells_sim.v: add XTLOSC, SYSRESET cellsTristan Gingold2022-08-311-1/+110
| |
| * sf2/cells_sim.v: add IOSTD parameter to I/O cellsTristan Gingold2022-08-311-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 valueTristan Gingold2022-08-311-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_fasterN. Engelhardt2022-08-311-6/+6
|\ \ | |/ |/|
| * Improves ABC command runtime by 10-100xEthan Mahintorabi2022-08-241-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 versiongithub-actions[bot]2022-08-301-1/+1
| |
* | Merge pull request #3463 from YosysHQ/micko/hierarchy_fixMiodrag Milanović2022-08-293-0/+16
|\ \ | | | | | | Makes sure to set initial_top when top change, fixes #3462
| * | Add test for bug 3462Miodrag Milanovic2022-08-292-0/+15
| | |
| * | Makes sure to set initial_top when change, fixes #3462Miodrag Milanovic2022-08-261-0/+1
| | |
* | | Fix mingw buildMiodrag Milanovic2022-08-291-0/+3
|/ /
* | Bump versiongithub-actions[bot]2022-08-261-1/+1
| |
* | Merge pull request #3461 from YosysHQ/aki/hashlib_assertN. Engelhardt2022-08-251-1/+1
|\ \
| * | kernel: hashlib: cleaned up message about table size in cases where ↵Aki Van Ness2022-08-251-1/+1
| | | | | | | | | | | | `sizeof(int) == 4`, (closes #3440)
* | | Merge pull request #3449 from YosysHQ/aki/show_pathrwN. Engelhardt2022-08-251-0/+1
|\ \ \ | |/ / |/| |
| * | yosys: passes: cmds: show: added filename re-writing to `show -lib`Aki Van Ness2022-08-221-0/+1
| |/
* | use inttypes format specifiersN. Engelhardt2022-08-251-3/+3
| |
* | dump runtime information for passes to jsonN. Engelhardt2022-08-251-1/+28
| |
* | Merge pull request #3457 from KrystalDelusion/docs_widthN. Engelhardt2022-08-2535-184/+198
|\ \ | |/ |/|
| * Fitting help messages to 80 character widthKrystalDelusion2022-08-2435-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 versiongithub-actions[bot]2022-08-191-1/+1
|
* Merge pull request #3450 from jix/write_aiger_nonffJannis Harder2022-08-182-1/+8
|\ | | | | write_aiger: Fix non-$_FF_ FFs
| * write_aiger: Fix non-$_FF_ FFsJannis Harder2022-08-182-1/+8
|/ | | | This broke while switching sby's formal flows to always use $_FF_'s.
* Bump versiongithub-actions[bot]2022-08-171-1/+1
|
* Merge pull request #3434 from jix/witness_flowJannis Harder2022-08-1633-167/+2255
|\ | | | | Updated formal flow with new witness format
| * sim: -hdlname option to preserve flattened hierarchy in sim outputJannis Harder2022-08-162-9/+43
| |
| * smtbmc: Set step range for --yw and dont skip steps for --check-witnessJannis Harder2022-08-161-2/+14
| |
| * Update CEX minimization patches for abcJannis Harder2022-08-161-1/+1
| |
| * clk2fflogic: Generate less unused logic when using verificJannis Harder2022-08-161-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 modeJannis Harder2022-08-162-0/+83
| |
| * yosys-witness: Add stats commandJannis Harder2022-08-161-0/+18
| |
| * smtbmc: Add --check-witness modeJannis Harder2022-08-161-1/+22
| | | | | | | | | | This verifies that the given constraints force an assertion failure. This is useful to debug witness trace conversion (and minimization).
| * aiger: Add yosys-witness supportJannis Harder2022-08-163-2/+320
| | | | | | | | | | Adds a new json based aiger map file and yosys-witness converters to us this to convert between native and AIGER witness files.
| * smtbmc: Add native json based witness format + smt2 backend supportJannis Harder2022-08-169-113/+983
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This adds a native json based witness trace format. By having a common format that includes everything we support, and providing a conversion utility (yosys-witness) we no longer need to implement every format for every tool that deals with witness traces, avoiding a quadratic opportunity to introduce subtle bugs. Included: * smt2: New yosys-smt2-witness info lines containing full hierarchical paths without lossy escaping. * yosys-smtbmc --dump-yw trace.yw: Dump results in the new format. * yosys-smtbmc --yw trace.yw: Read new format as constraints. * yosys-witness: New tool to convert witness formats. Currently this can only display traces in a human-readable-only format and do a passthrough read/write of the new format. * ywio.py: Small python lib for reading and writing the new format. Used by yosys-smtbmc and yosys-witness to avoid duplication.
| * btor: Support $anyinit cellsJannis Harder2022-08-161-1/+1
| |
| * aiger: Support $anyinit cellsJannis Harder2022-08-161-0/+11
| |
| * smt2: Support $anyinit cellsJannis Harder2022-08-161-10/+11
| |
| * memory_map: Add -formal optionJannis Harder2022-08-162-17/+68
| | | | | | | | | | | | This maps memories for a global clock based formal verification flow. This implies -keepdc, uses $ff cells for ROMs and sets hdlname attributes.
| * setundef: Do not add anyseq / anyconst to unused memory port clocksJannis Harder2022-08-161-0/+24
| | | | | | | | Instead set those unused clocks to zero.
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 00:33:32 +0000