aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* sim/formalff: Clock handling for yw cosimJannis Harder2023-01-115-33/+274
|
* sim: Improvements and fixes for yw cosimJannis Harder2023-01-116-52/+154
| | | | | | * Fixed $cover handling * Improved sparse memory handling when writing traces * JSON summary output
* Support for BTOR witness to Yosys witness conversionJannis Harder2023-01-115-20/+312
|
* aiger: Use new JSON code for writing aiger witness map filesJannis Harder2023-01-113-55/+96
|
* Add json.{h,cc} for pretty printing JSONJannis Harder2023-01-113-1/+223
| | | | | | Avoids errors in trailing comma handling, broken indentation and improper escaping that is common when building JSON by manually concatenating strings.
* sim: New -append option for Yosys witness cosimJannis Harder2023-01-111-5/+14
| | | | This is needed to support SBY's append option.
* sim: Add Yosys witness (.yw) cosimulationJannis Harder2023-01-111-3/+194
|
* New kernel/yw.{h,cc} to support reading Yosys witness filesJannis Harder2023-01-113-1/+380
| | | | | | This contains parsing code as well as generic routines to associate the hierarchical signals paths within a Yosys witness file to a loaded RTLIL design, including support for memories.
* sim: Only check formal cells during gclk simulation updatesJannis Harder2023-01-111-16/+19
| | | | This is required for compatibility with non-multiclock formal semantics.
* sim: Internal API to set $initstateJannis Harder2023-01-111-0/+11
| | | | This is not yet added to any of the simulation drivers.
* sim: Emit used memory addresses as signals to output tracesJannis Harder2023-01-111-17/+122
| | | | | | | | This matches the behavior of smtbmc. This also updates the sim internal memory API to allow masked writes where State::Sa bits (internal don't care - not a valid value for a signal) leave the memory content unchanged.
* xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundefJannis Harder2023-01-113-2/+12
| | | | | | | | This adds the xprop_decoder attribute to bwmuxes that drive the original unencoded signals. Setundef is changed to ignore the x inputs of these bwmuxes, so that they survive the prep script of SBY's formal flow. This is required to make simulation (via sim) using the prep model show the decoded x signals instead of 0/1 values made up by the solver.
* smt2: Treat bweqx as xnorJannis Harder2023-01-111-0/+1
| | | | Without x-bits they are equivalent
* smt2: Directly implement bwmux instead of using bwmuxmapJannis Harder2023-01-111-2/+4
|
* Merge pull request #3605 from gadfort/stat-json-areaN. Engelhardt2023-01-111-0/+3
|\
| * Merge branch 'master' into stat-json-areaPeter Gadfort2023-01-0289-20297/+11
| |\
| * | stat: ensure area is included in json outputPeter Gadfort2022-12-291-0/+3
| | | | | | | | | | | | Signed-off-by: Peter Gadfort <peter.gadfort@gmail.com>
* | | Merge pull request #3570 from YosysHQ/claire/eqystuffClaire Xen2023-01-118-17/+1380
|\ \ \ | | | | | | | | Various Changes for EQY
| * \ \ Merge branch 'master' into claire/eqystuffClaire Xen2023-01-1112-131/+60
| |\ \ \ | |/ / / |/| | |
* | | | Merge pull request #3537 from jix/xpropJannis Harder2023-01-1129-79/+2537
|\ \ \ \ | | | | | | | | | | New xprop pass
* | | | | remove template declaration that stops function from being usedN. Engelhardt2023-01-111-4/+0
| | | | |
* | | | | Merge pull request #3620 from YosysHQ/gcc48_removeN. Engelhardt2023-01-1111-127/+60
|\ \ \ \ \
| * | | | | Add deprecation info to changelogMiodrag Milanovic2023-01-111-0/+2
| | | | | |
| * | | | | Deprecate gcc-4.8Miodrag Milanovic2023-01-1110-127/+58
|/ / / / /
| | * | | Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuffClaire Xenia Wolf2023-01-11103-20236/+385
| | |\ \ \ | |_|/ / / |/| | | |
* | | | | Bump versiongithub-actions[bot]2023-01-111-1/+1
| | | | |
* | | | | Merge pull request #3616 from YosysHQ/register_errorMiodrag Milanović2023-01-101-5/+12
|\ \ \ \ \ | | | | | | | | | | | | Display error instead of assertion when pass exists
| * | | | | Display error instead of assertion when pass existsMiodrag Milanovic2023-01-091-5/+12
| | | | | |
* | | | | | Merge pull request #3615 from YosysHQ/qbfsat_cvc5Miodrag Milanović2023-01-102-3/+7
|\ \ \ \ \ \ | |/ / / / / |/| | | | | qbfsat support for cvc5, fixes #3608
| * | | | | qbfsat support for cvc5, fixes #3608Miodrag Milanovic2023-01-092-3/+7
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2023-01-051-1/+1
| | | | |
* | | | | nexus: Fix BRAM write enable in PDP modegatecat2023-01-041-2/+2
| | | | | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | | | | Bump versiongithub-actions[bot]2023-01-041-1/+1
| | | | |
* | | | | Next dev cycleMiodrag Milanovic2023-01-032-2/+5
| | | | |
* | | | | Release version 0.25Miodrag Milanovic2023-01-032-3/+8
| | | | |
* | | | | Bump versiongithub-actions[bot]2023-01-031-1/+1
| |_|_|/ |/| | |
* | | | Merge pull request #3606 from YosysHQ/fix_vsMiodrag Milanović2023-01-022-12/+0
|\ \ \ \ | | | | | | | | | | Remove cache
| * | | | Remove cacheMiodrag Milanovic2023-01-022-12/+0
|/ / / /
* | | | add note to help about how to chain commandsN. Engelhardt2023-01-021-1/+1
| | | |
* | | | Merge pull request #3577 from KrystalDelusion/deprecate_manualMiodrag Milanović2023-01-0286-20284/+10
|\ \ \ \ | |_|_|/ |/| | | Deprecate manual
| * | | Fixing other references to the manualKrystalDelusion2022-12-192-10/+6
| | | | | | | | | | | | | | | | And files that were in the directory.
| * | | Removed manual from make cleanKrystalDelusion2022-12-191-1/+0
| | | |
| * | | Remove make targets for manualKrystalDelusion2022-12-191-9/+1
| | | | | | | | | | | | | | | | Leaves the clean, since presentation source is still directly buildable and cleanable.
| * | | Remove help outputs for texKrystalDelusion2022-12-081-92/+0
| | | | | | | | | | | | | | | | Also for old website.
| * | | And appnotesKrystalDelusion2022-12-0833-2721/+0
| | | |
| * | | Removing manual filesKrystalDelusion2022-12-0848-17415/+0
| | | |
| * | | Removing old manual from README.mdKrystalDelusion2022-12-081-36/+3
| | | |
* | | | Merge pull request #3467 from jix/fix_cellarray_simplifyJannis Harder2022-12-192-0/+47
|\ \ \ \ | | | | | | | | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY
| * | | | simplify: regression test for AST_CELLARRAY simplification issueJannis Harder2022-12-071-0/+45
| | | | |
| * | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAYJannis Harder2022-12-071-0/+2
| |/ / / | | | | | | | | | | | | | | | | | | | | Otherwise the AST_CELL simplification uses the wrong celltype before the AST_CELLARRAY simplification has a chance to unroll it and change it to the $array celltype.
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-19 00:00:00 +0000