aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #3537 from jix/xpropJannis Harder2023-01-1129-79/+2537
|\ | | | | New xprop pass
| * miter: Add -make_cover option to cover each output pair differenceJannis Harder2022-11-301-0/+14
| |
| * formalff: Fix -ff2anyinit assertion error for fine FFsJannis Harder2022-11-301-0/+2
| |
| * New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-307-0/+2001
| |
| * sim: Improved global clock handlingJannis Harder2022-11-301-13/+14
| |
| * opt_expr: Optimizations for `$bweqx` and `$bwmux`Jannis Harder2022-11-301-0/+63
| |
| * Add bwmuxmap passJannis Harder2022-11-307-0/+76
| |
| * Add bitwise `$bweqx` and `$bwmux` cellsJannis Harder2022-11-309-11/+179
| | | | | | | | | | | | The new bitwise case equality (`$bweqx`) and bitwise mux (`$bwmux`) cells enable compact encoding and decoding of 3-valued logic signals using multiple 2-valued signals.
| * verilog_backend: Do not run bmuxmap or demuxmap in -noexpr mode.Jannis Harder2022-11-301-2/+4
| |
| * verilog_backend: Correctly sign extend output of signed `$modfloor`Jannis Harder2022-11-301-2/+2
| |
| * verilog_backend: Add -noparallelcase optionJannis Harder2022-11-301-7/+31
| |
| * simlib: Use optional SIMLIB_GLOBAL_CLOCK to define a global clock signalJannis Harder2022-11-301-2/+8
| |
| * simlib: Silence iverilog warning for `$lut`Jannis Harder2022-11-301-1/+1
| | | | | | | | | | | | iverilog complains about implicitly truncating LUT when connecting it to the `$bmux` A input. This explicitly truncates it to avoid that warning without changing the behaviour otherwise.
| * simlib: Fix wide $bmux and avoid iverilog warningsJannis Harder2022-11-301-2/+2
| |
| * satgen, simlib: Consistent x-propagation for `$pmux` cellsJannis Harder2022-11-302-18/+20
| | | | | | | | | | This updates satgen and simlib to use a `$pmux` model where the output is fully X when the S input is not all zero or one-hot with no x bits.
| * opt_expr: Fix shift/shiftx optimizationsJannis Harder2022-11-301-3/+3
| |
| * opt_expr: Constant fold mux, pmux, bmux, demux, eqx, nex cellsJannis Harder2022-11-291-0/+33
| |
| * opt_expr: Optimize bitwise logic ops with one fully const inputJannis Harder2022-11-291-0/+81
| |
| * simplemap: Map `$xnor` to `$_XNOR_` cellsJannis Harder2022-11-293-20/+5
| | | | | | | | | | The previous mapping to `$_XOR_` and `$_NOT_` predates the addition of the `$_XNOR_` cell.
* | 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
|/ /
* | 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.
* | | Bump versiongithub-actions[bot]2022-12-161-1/+1
| | |
* | | Merge pull request #3588 from YosysHQ/noblackboxMiodrag Milanović2022-12-151-0/+6
|\ \ \ | | | | | | | | respect noblackbox attribute in verific
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-09 14:56:06 +0000