aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | | passes: show: Label no_signode flagMartin Povišer2023-01-131-20/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Label the flag and rearrange the control flow a bit. Signed-off-by: Martin Povišer <povik@cutebit.org>
| * | | | | | | passes: show: Simplify wire bit range logicMartin Povišer2023-01-131-8/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * | | | | | | passes: show: Factor out 'join_label_pieces'Martin Povišer2023-01-131-20/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In two places, we are joining label pieces by a '|' separator. We go about it by putting the separator behind each entry, then removing the trailing separator in a final fixup pass on the built string. For easier reading, replace those occurrences by a new factored-out 'join_label_pieces' function. Signed-off-by: Martin Povišer <povik@cutebit.org>
| * | | | | | | passes: show: Label signed_suffix flagMartin Povišer2023-01-131-3/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | To make it easier to follow what's going on. Signed-off-by: Martin Povišer <povik@cutebit.org>
| * | | | | | | passes: show: s/idx/dot_idx/ for readabilityMartin Povišer2023-01-131-7/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Martin Povišer <povik@cutebit.org>
| * | | | | | | passes: show: Fix portbox bit ranges in case of driven signalsMartin Povišer2023-01-131-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When the 'show' pass generates portboxes to detail the connection of cell ports to wires, it has special handling of signal chunk repetitions, but those repetitions are not accounted for in the displayed bit range in case of cell outputs. Fix that, and so bring it into consistence with the behavior on cell inputs. So, taking for example the following Verilog snippet, module DRIVER (Q); output [7:0] Q; assign Q = 8'b10101010; endmodule module main; wire w; DRIVER driver(.Q({8{w}})); endmodule make the show pass display '7:0 - 8x 0:0' in the driver-to-w portbox instead of '7:7 - 8x 0:0' which it displayed formerly. Signed-off-by: Martin Povišer <povik@cutebit.org>
* | | | | | | | Bump versiongithub-actions[bot]2023-02-051-1/+1
| | | | | | | |
* | | | | | | | Merge pull request #3659 from whitequark/update-abcCatherine2023-02-041-1/+1
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Bump ABCREV to fix WASM build
| * | | | | | | | Bump ABCREV to fix WASM build.Catherine2023-02-041-1/+1
|/ / / / / / / /
* | | | | | | | Bump versiongithub-actions[bot]2023-02-041-1/+1
| | | | | | | |
* | | | | | | | backends/firrtl: Ensure `modInstance` is validAki Van Ness2023-02-031-0/+6
| |/ / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This should fix #3648 where when calling `emit_elaborated_extmodules` it checks to see if a module is a black-box, however there was no validation that the cell type was actually known, and it just always assumed that we would get a valid instance, causing a segfault.
* | | | | | | Bump versiongithub-actions[bot]2023-02-021-1/+1
| | | | | | |
* | | | | | | Merge pull request #3655 from jix/smt2_fix_b_op_widthJannis Harder2023-02-011-1/+4
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | smt2: Fix operation width computation for boolean producing cells
| * | | | | | | smt2: Fix operation width computation for boolean producing cellsJannis Harder2023-02-011-1/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The output width for the boolean value should not influence the operation width. The previous incorrect width extension would still produce correct results, but could produce invalid smt2 output for reduction operators when the output width was larger than the width of the vector to which the reduction was applied. This fixes #3654
* | | | | | | | Bump versiongithub-actions[bot]2023-01-311-1/+1
| | | | | | | |
* | | | | | | | Merge pull request #3650 from jix/rtlil_roundtrip_z_bitsJannis Harder2023-01-304-1/+22
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | backends/rtlil: Do not shorten a value with z bits to 'x
| * | | | | | | | backends/rtlil: Do not shorten a value with z bits to 'xJannis Harder2023-01-294-1/+22
| |/ / / / / / /
* | | | | | | | add option to fsm_detect to ignore self-resettingN. Engelhardt2023-01-301-7/+22
| | | | | | | |
* | | | | | | | add pmux option to bmuxmap for better fsm detection with verific frontendN. Engelhardt2023-01-302-6/+75
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Bump versiongithub-actions[bot]2023-01-301-1/+1
| |_|_|_|/ / |/| | | | |
* | | | | | Resolve struct member package typesDag Lem2023-01-292-0/+11
| | | | | |
* | | | | | Handle struct members of union type (#3641)Dag Lem2023-01-293-2/+18
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2023-01-261-1/+1
| | | | |
* | | | | Merge pull request #3647 from jix/formalff-hierarchy-fixMiodrag Milanović2023-01-251-1/+1
|\ \ \ \ \ | | | | | | | | | | | | formalff: Fix crash with _NOT_ gates in -hierarchy mode
| * | | | | formalff: Fix crash with _NOT_ gates in -hierarchy modeJannis Harder2023-01-251-1/+1
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2023-01-241-1/+1
| | | | |
* | | | | Merge pull request #3624 from jix/sim_ywMiodrag Milanović2023-01-2315-113/+1722
|\ \ \ \ \ | | | | | | | | | | | | Changes to support SBY trace generation with the sim command
| * | | | | 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 #3629 from YosysHQ/micko/clang_fixesMiodrag Milanović2023-01-2315-23/+39
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fixes for some of clang scan-build detected issues
| * | | | | | Fixes for some of clang scan-build detected issuesMiodrag Milanovic2023-01-1715-23/+39
| | |/ / / / | |/| | | |
* | | | | | Merge pull request #3636 from YosysHQ/log_pluginMiodrag Milanović2023-01-231-0/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | Call yosys_shutdown to properly cleanup plugins and tcl when expecting error
| * | | | | | Call yosys_shutdown to properly cleanup plugins and tcl when expecting errorMiodrag Milanovic2023-01-201-0/+1
| | | | | | |
* | | | | | | show: Remove left-in debug log_warninggatecat2023-01-231-1/+0
|/ / / / / / | | | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | | | | | Merge pull request #3630 from yrabbit/gw1n4c-pllMiodrag Milanović2023-01-181-0/+47
|\ \ \ \ \ \ | | | | | | | | | | | | | | gowin: add a new type of PLL - PLLVR
| * | | | | | gowin: add a new type of PLL - PLLVRYRabbit2023-01-111-0/+47
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This primitive is used in the GW1NS-4, GW1NS-4C, GW1NSR-4, GW1NSR-4C and GW1NSER-4C chips. Signed-off-by: YRabbit <rabbit@yrabbit.cyou>
* | | | | | | Bump versiongithub-actions[bot]2023-01-181-1/+1
| | | | | | |
* | | | | | | Improve splitcells passClaire Xenia Wolf2023-01-181-52/+120
| |/ / / / / |/| | | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 10:20:35 +0000