| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #3661 from daglem/struct-array-range-offset | Jannis Harder | 2023-02-15 | 1 | -0/+20 |
| |\ | | | | | Handle range offsets in packed arrays within packed structs | ||||
| | * | Handle range offsets in packed arrays within packed structs | Dag Lem | 2023-02-05 | 1 | -0/+20 |
| | | | | | | | | | | | | | | | This brings the metadata for packed arrays in packed structs in line with the metadata for unpacked arrays, and correctly handles the case when both lsb and msb in an address range are non-zero. | ||||
| * | | Merge pull request #2995 from georgerennie/cover_precond | Jannis Harder | 2023-02-14 | 1 | -0/+25 |
| |\ \ | | | | | | | chformal: Add -coverenable option | ||||
| | * | | chformal: Rename -coverprecond to -coverenable | George Rennie | 2022-06-18 | 1 | -3/+3 |
| | | | | |||||
| | * | | chformal: Test -coverprecond and reuse the src attribute | Jannis Harder | 2022-06-18 | 1 | -0/+25 |
| | | | | |||||
| * | | | Merge pull request #3126 from georgerennie/equiv_make_assertions | Jannis Harder | 2023-02-14 | 1 | -0/+32 |
| |\ \ \ | | | | | | | | | equiv_make: Add -make_assert option | ||||
| | * | | | equiv_make: Add -make_assert option | George Rennie | 2022-06-24 | 1 | -0/+32 |
| | |/ / | | | | | | | | | | | | | This adds a -make_assert flag to equiv_make. When used, the pass generates $eqx and $assert cells to encode equivalence instead of $equiv. | ||||
| * | | | Merge pull request #3669 from jix/fix-xprop-tests-yosys-call | Jannis Harder | 2023-02-13 | 2 | -51/+60 |
| |\ \ \ | | | | | | | | | tests: Fix path of yosys invocation in xprop tests | ||||
| | * | | | xprop tests: Make iverilog invocation more portable | Jannis Harder | 2023-02-13 | 1 | -3/+3 |
| | | | | | |||||
| | * | | | xprop: Test fixes and abort on test failure | Jannis Harder | 2023-02-13 | 2 | -3/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use `$finish(0)` to silently exit even when using recent iverlog versions. Run `write_verilog -noexpr` before `write_verilog` as the latter can modify the design. This also enables checking the tests results, as xprop should be in a state where the existing tests pass. | ||||
| | * | | | xprop: Smaller subset of tests to run by default | Jannis Harder | 2023-02-13 | 1 | -44/+53 |
| | | | | | |||||
| | * | | | tests: Fix path of yosys invocation in xprop tests | Jannis Harder | 2023-02-10 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | For now xprop test failures are still expected and ignored, but without this change, they did not even run unless the yosys build was in path. | ||||
| * | | | | Resolve package types in interfaces (#3658) | Dag Lem | 2023-02-12 | 3 | -0/+31 |
| |/ / / | | | | | | | | | | * Resolve package types in interfaces * Added test for resolving of package types in interfaces | ||||
| * | | | tests: in xprop tests, use MAKE variable if set | Jannis Harder | 2023-02-10 | 1 | -1/+1 |
| | | | | |||||
| * | | | Merge pull request #3650 from jix/rtlil_roundtrip_z_bits | Jannis Harder | 2023-01-30 | 1 | -0/+9 |
| |\ \ \ | | | | | | | | | backends/rtlil: Do not shorten a value with z bits to 'x | ||||
| | * | | | backends/rtlil: Do not shorten a value with z bits to 'x | Jannis Harder | 2023-01-29 | 1 | -0/+9 |
| | | | | | |||||
| * | | | | add pmux option to bmuxmap for better fsm detection with verific frontend | N. Engelhardt | 2023-01-30 | 1 | -0/+45 |
| | |_|/ |/| | | |||||
| * | | | Resolve struct member package types | Dag Lem | 2023-01-29 | 1 | -0/+4 |
| | | | | |||||
| * | | | Handle struct members of union type (#3641) | Dag Lem | 2023-01-29 | 1 | -0/+16 |
| |/ / | |||||
| * | | Merge pull request #3537 from jix/xprop | Jannis Harder | 2023-01-11 | 6 | -5/+805 |
| |\ \ | | | | | | | New xprop pass | ||||
| | * | | New xprop pass to encode 3-valued x-propagation using 2-valued logic | Jannis Harder | 2022-11-30 | 4 | -0/+801 |
| | | | | |||||
| | * | | simplemap: Map `$xnor` to `$_XNOR_` cells | Jannis Harder | 2022-11-29 | 2 | -5/+4 |
| | | | | | | | | | | | | | | | | The previous mapping to `$_XOR_` and `$_NOT_` predates the addition of the `$_XNOR_` cell. | ||||
| * | | | Merge pull request #3467 from jix/fix_cellarray_simplify | Jannis Harder | 2022-12-19 | 1 | -0/+45 |
| |\ \ \ | | | | | | | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY | ||||
| | * | | | simplify: regression test for AST_CELLARRAY simplification issue | Jannis Harder | 2022-12-07 | 1 | -0/+45 |
| | | | | | |||||
| * | | | | Support for packed multidimensional arrays within packed structs | Dag Lem | 2022-12-03 | 1 | -0/+60 |
| |/ / / | |||||
| * | | | Merge pull request #3551 from daglem/struct-array-swapped-range | Jannis Harder | 2022-12-01 | 1 | -0/+131 |
| |\ \ \ | |/ / |/| | | Support for arrays with swapped ranges within structs | ||||
| | * | | Tests for unpacked arrays in packed structs are for the Yosys frontend only | Dag Lem | 2022-11-23 | 1 | -0/+4 |
| | | | | |||||
| | * | | Support for swapped ranges in second array dimension | Dag Lem | 2022-11-23 | 1 | -0/+42 |
| | | | | |||||
| | * | | Support for arrays with swapped ranges within structs | Dag Lem | 2022-11-12 | 1 | -1/+86 |
| | | | | | | | | | | | | | | | | | | | This also corrects the implementation of C type arrays within structs. Fixes #3550 | ||||
| * | | | Merge branch 'zachjs-master' | Jannis Harder | 2022-11-21 | 1 | -0/+45 |
| |\ \ \ | |||||
| | * | | | verilog: Support module-scoped task/function calls | Zachary Snow | 2022-10-29 | 1 | -0/+45 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is primarily intended to enable the standard-permitted use of module-scoped identifiers to refer to tasks and non-constant functions. As a side-effect, this also adds support for the non-standard use of module-scoped identifiers referring to constant functions, a feature that is supported in some other tools, including Iverilog. | ||||
| * | | | | fabulous: Allow adding extra custom prims and map rules | gatecat | 2022-11-17 | 3 | -0/+21 |
| | | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | ||||
| * | | | | fabulous: improvements to the pass | gatecat | 2022-11-17 | 7 | -0/+141 |
| |/ / / | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | ||||
| * | | | Replace GNU specific invocation of basename(1) with the equivalent | Lloyd Parkes | 2022-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | POSIX one. The tests now complete on BSD as well as GNU/Linux. | ||||
| * | | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 1 | -7/+7 |
| | | | | | | | | | | | | | | | | | | | | | | The witness metadata was missing fine grained FFs completely and for coarse grained FFs where the output connection has multiple chunks it lacked the offset of the chunk within the SMT expression. This fixes both, the later by adding an "smtoffset" field to the metadata. | ||||
| * | | | Merge pull request #3502 from jix/equiv_opt_fixes | Jannis Harder | 2022-10-11 | 25 | -82/+95 |
| |\ \ \ | | | | | | | | | equiv_opt and clk2fflogic fixes | ||||
| | * | | | Reenable existing equiv_opt tests | Jannis Harder | 2022-10-07 | 13 | -54/+52 |
| | | | | | |||||
| | * | | | Fix tests for check in equiv_opt | Jannis Harder | 2022-10-07 | 13 | -15/+31 |
| | | | | | |||||
| | * | | | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | ||||
| * | | | | Merge pull request #3452 from ALGCDG/master | Miodrag Milanović | 2022-10-10 | 1 | -0/+9 |
| |\ \ \ \ | |/ / / |/| | | | Add BLIF names command input plane size check | ||||
| | * | | | Adding check for BLIF names command input plane size. | Archie | 2022-08-21 | 1 | -0/+9 |
| | | | | | |||||
| * | | | | Test fixes for latest iverilog | Miodrag Milanovic | 2022-09-21 | 1 | -2/+12 |
| | |/ / |/| | | |||||
| * | | | Add test for bug 3462 | Miodrag Milanovic | 2022-08-29 | 2 | -0/+15 |
| |/ / | |||||
| * | | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 1 | -0/+7 |
| | | | | | | | | | This broke while switching sby's formal flows to always use $_FF_'s. | ||||
| * | | smtbmc: Add native json based witness format + smt2 backend support | Jannis Harder | 2022-08-16 | 1 | -0/+8 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name | N. Engelhardt | 2022-08-11 | 1 | -0/+31 |
| |\ \ | |||||
| | * | | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 1 | -0/+31 |
| | | | | |||||
| * | | | support file locations containing spaces | Miodrag Milanovic | 2022-08-08 | 3 | -9/+10 |
| |/ / | |||||
| * | | gatemate: Add test for LUT tree mapping | gatecat | 2022-06-27 | 3 | -0/+813 |
| | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me> | ||||
| * | | Adding expected error message. | Archie | 2022-06-22 | 1 | -0/+1 |
| | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |