aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix tests for check in equiv_optJannis Harder2022-10-0713-15/+31
|
* Add "check -assert" to equiv_optClaire Xenia Wolf2022-10-071-1/+13
| | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* Re-enable opt_dff_sr equiv_opt checksClaire Xenia Wolf2022-10-071-13/+12
| | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* Exclude primary inputs from quiv_make rewiringClaire Xenia Wolf2022-10-071-0/+7
| | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* Revert "Merge pull request #641 from tklam/master"Claire Xenia Wolf2022-10-071-81/+5
| | | | | | | | | | This reverts commit 08be796cb8b1890923e459cda92211fda763f0c1, reversing changes made to 38dbb44fa0815b1fe80e68e17798aaa341d998cd. This fixes #2728. PR #641 did not actually "fix" #639. The actual issue in #639 is not equiv_make, but assumptions in equiv_simple that are not true for the test case provided in #639.
* clk2fflogic: Always correctly handle simultaneously changing signalsJannis Harder2022-10-071-103/+87
| | | | | | | | | | | | | | | | | | | | | | | | This is a complete rewrite of the FF replacing code. The previous implementation tried to implement the negative hold time by wrapping async control signals individually with pulse stretching. This did not correctly model the interaction between different simultaneously changing inputs (e.g. a falling ALOAD together with a changing AD would load the changed AD instead of the value AD had when ALOAD was high; a falling CLR could mask a raising SET for one cycle; etc.). The new approach first has the logic for all updates using only sampled values followed by the logic for all updates using only current values. That way, e.g., a falling ALOAD will load the sampled AD value but a still active ALOAD will load the current AD value. The new code also has deterministic behavior for the initial state: no operation is active when that operation would depend on a specific previous signal value. This also means clk2fflogic will no longer generate any additional uninitialized FFs. I also documented the negative hold time behavior in the help message, copying the relevant part from async2sync's help messages.
* Bump versiongithub-actions[bot]2022-10-061-1/+1
|
* Next dev cycleMiodrag Milanovic2022-10-052-2/+5
|
* Release version 0.22Miodrag Milanovic2022-10-052-3/+3
|
* Update CHANGELOGMiodrag Milanovic2022-10-051-0/+8
|
* Merge pull request #3500 from nakengelhardt/mutate_warn_not_enoughMiodrag Milanović2022-10-051-0/+2
|\ | | | | mutate: warn if less mutations possible than number requested
| * mutate: warn if less mutations possible than number requestedN. Engelhardt2022-10-051-0/+2
|/
* Merge pull request #3499 from YosysHQ/micko/verific_edifMiodrag Milanović2022-10-052-1/+52
|\ | | | | Add support for EDIF file reading using Verific
| * Add support for EDIF file reading using VerificMiodrag Milanovic2022-10-042-1/+52
| |
* | Bump versiongithub-actions[bot]2022-10-051-1/+1
|/
* Merge pull request #3494 from YosysHQ/micko/verific_attributesMiodrag Milanović2022-10-041-19/+91
|\ | | | | Handle attributes imported from verific
| * support file content redirection for verific frontenedMiodrag Milanovic2022-09-281-14/+60
| |
| * Add comment for future selfMiodrag Milanovic2022-09-281-0/+7
| |
| * Handle attributes imported from verificMiodrag Milanovic2022-09-281-5/+24
|/
* Bump versiongithub-actions[bot]2022-09-271-1/+1
|
* Merge pull request #3489 from hzeller/20220924-fix-hardcoded-bin-bashMiodrag Milanović2022-09-261-1/+1
|\ | | | | Fix hard-coded path to /bin/bash -> /usr/bin/env bash
| * Fix hard-coded path to /bin/bash -> /usr/bin/env bashHenner Zeller2022-09-241-1/+1
|/ | | | | | | | | | On Posix systems, the path /bin/bash is not guaranteed to exist and it is more portable to use /usr/bin/env instead. Fixing this for yosys-config with is the most important for a functioning installation. Signed-off-by: Henner Zeller <h.zeller@acm.org>
* Merge pull request #3486 from daglem/fix-flowmap-crashMiodrag Milanović2022-09-231-1/+2
|\ | | | | Fix crash in flowmap
| * Fix crash in flowmapDag Lem2022-09-201-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | In 2fcc1ee72e, the following is apparantly added in order to mark any number of undefined LUT inputs: lut_a.append(RTLIL::Const(State::Sx, minlut - input_nodes.size())); However this can only be done if the number of input nodes is less than minlut. This fixes #3317
* | Bump versiongithub-actions[bot]2022-09-231-1/+1
| |
* | remove extra space in formatingKamyar Mohajerani2022-09-221-2/+2
| |
* | stat: add tech tech-specific utilizations to jsonKamyar Mohajerani2022-09-221-65/+91
| | | | | | | | | | - refactor resource util. estimation/calculations for Xilinx and CMOS - don't print log_header if "-json" is set
* | Bump versiongithub-actions[bot]2022-09-221-1/+1
| |
* | Merge pull request #3488 from YosysHQ/micko/test_fixMiodrag Milanović2022-09-213-5/+14
|\ \ | | | | | | Test fixes for latest iverilog
| * | Test fixes for latest iverilogMiodrag Milanovic2022-09-213-5/+14
| |/
* | Merge pull request #3487 from YosysHQ/micko/verific_mem_fixMiodrag Milanović2022-09-211-0/+1
|\ \ | |/ |/| Import memory attributes
| * Import memory attributesMiodrag Milanovic2022-09-211-0/+1
|/
* Bump versiongithub-actions[bot]2022-09-141-1/+1
|
* Fix tmpdir naming when passing -nocleanup option to abc(9) on systems where ↵N. Engelhardt2022-09-132-6/+12
| | | | base_tmpdir isn't /tmp/
* Add CodeQLMiodrag Milanovic2022-09-131-0/+29
|
* Bump versiongithub-actions[bot]2022-09-091-1/+1
|
* Update to latest ABC changesMiodrag Milanovic2022-09-081-1/+1
|
* Bump versiongithub-actions[bot]2022-09-081-1/+1
|
* Update to latest abcMiodrag Milanovic2022-09-071-1/+1
|
* verific: better fix for read callbackMiodrag Milanovic2022-09-071-5/+3
|
* verific: fix crash when using prep right after readMiodrag Milanovic2022-09-071-0/+3
|
* Bump versiongithub-actions[bot]2022-09-071-1/+1
|
* Next dev cycleMiodrag Milanovic2022-09-062-2/+5
|
* Release version 0.21Miodrag Milanovic2022-09-062-3/+3
|
* 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
|/
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-01 10:44:01 +0000