Natalia
a4774cac02
Fix test regex to match upstream stat output format
...
The test was using regexes that matched Silimate's modified stat output
format ('Number of wires: <count>'), but upstream yosys uses a different
format (' <count> <area> wires'). Update the regex to match the upstream
format.
2026-01-14 12:55:18 -08:00
Natalia
6503ad91c9
splitnets: add -ports_only and -top_only options
...
Add two new options to the splitnets pass:
- `-ports_only`: Split only module ports, not internal signals. This is
useful when you want to split ports for interface compatibility while
keeping internal signals as multi-bit wires for better readability.
- `-top_only`: Apply splitting only at the top module level, not in
submodules. This is helpful for hierarchical designs where you need
split signals only at the top-level interface.
These options can be combined with existing flags:
- `splitnets -ports_only`: Split all ports in all modules
- `splitnets -ports_only -top_only`: Split ports only in top module
- `splitnets -ports -top_only`: Split both ports and nets only in top
Add comprehensive tests that verify wire/port counts for all flag
combinations using a hierarchical design.
2026-01-14 12:01:22 -08:00
Emil J
5ba0e9cae3
Merge pull request #4235 from ylm/genblk_wire
...
Add autowires in genblk/for expension
2026-01-13 16:40:22 +01:00
nella
b332279baf
Merge pull request #5592 from YosysHQ/gus/5503-yw-load-error-msg
...
More helpful error messages when loading Yosys Witness files with `yosys-smtbmc`
2026-01-13 12:00:06 +01:00
Emil J
cc25ccfcd7
Merge pull request #5559 from nataliakokoromyti/upstream-lut2bmux
...
add lut2bmux
2026-01-12 16:09:13 +01:00
Krystine Sherwin
9a09758f56
Test empty switches
2026-01-07 13:21:33 +13:00
Gus Smith
9f77465170
Add test
2026-01-06 16:19:04 -08:00
Emil J
0ab967b036
Merge pull request #5564 from rocallahan/pass-fuzz
...
Add support for fuzz-test comparison of two passes intended to give identical RTLIL results
2026-01-06 20:07:31 +01:00
Emil J
2e1a2cfacb
Merge pull request #5561 from YosysHQ/emil/opt_expr-test-avoid-multiple-drivers
...
opt_expr: avoid multiple drivers in test
2026-01-06 14:54:55 +01:00
Natalia
11b0e7ad92
add lut2bmux
2026-01-06 14:48:16 +01:00
Miodrag Milanović
d523c88c3c
Merge pull request #5573 from rocallahan/increase-timeout
...
Increase test timeout to 10 seconds
2025-12-29 12:38:34 +01:00
Robert O'Callahan
99d7ab9c42
Increase test timeout to 10 seconds
...
On my machine, this test regularly times out when doing "make -j" (which defaults to 128).
The high degree of parallelism seems to slow down the spwaning of ABC processes.
2025-12-29 04:35:05 +00:00
Robert O'Callahan
9ee51c8f27
Add AFL++ Grammar-Generator grammar for RTLIL fuzzing, and instructions for how to use it.
2025-12-22 21:56:26 +00:00
Robert O'Callahan
914e14946d
Implement design_equal command
2025-12-21 21:47:40 +00:00
Emil J. Tywoniak
856d455065
opt_expr: avoid multiple drivers issue #4792 in combined assign tests
2025-12-19 18:32:56 +01:00
Emil J. Tywoniak
772d821fb0
opt_expr: reindent test
2025-12-19 18:32:56 +01:00
N. Engelhardt
45d654e2d7
avoid merging formal properties
2025-12-17 20:25:24 +01:00
Miodrag Milanović
d861a26e49
Merge pull request #5504 from nataliakokoromyti/verific-run-test-bugfix
...
Fix Verific run-test.sh
2025-12-17 11:08:44 +01:00
nataliakokoromyti
2ded4bd893
Update run-test.sh
...
fix: preserve newline at eof
2025-12-16 04:16:03 -08:00
Krystine Sherwin
c69be9d767
Missed an iverilog
...
Should now still report an iverilog issue if `iverilog` doesn't exist.
2025-12-15 10:31:17 +13:00
Krystine Sherwin
24f4902156
Don't mention iverilog if the error wasn't from iverilog
2025-12-15 10:17:19 +13:00
Emil J
f003eca615
Merge pull request #5526 from YosysHQ/emil/fix-cellaigs-function-arg-eval-order
...
cellaigs: fix function argument evaluation order
2025-12-12 10:00:09 +01:00
Krystine Sherwin
4da0c552dd
tests/aiger: Fix pipe hiding diff exit status
2025-12-12 11:26:24 +13:00
Yannick Lamarre
54b278d574
Add tests for implicit wires in generate blocks.
...
Signed-off-by: Yannick Lamarre <yan.lamarre@gmail.com>
2025-12-10 14:43:42 +01:00
Emil J
e08e9119ee
Merge pull request #5516 from rocallahan/limit-threads
...
Limit thread usage in tests
2025-12-10 13:45:07 +01:00
Emil J
46fbed6e6f
Merge pull request #5525 from YosysHQ/emil/fix-xaiger2-empty-cell-input
...
aiger2: fix empty cell input
2025-12-04 16:47:53 +01:00
Robert O'Callahan
2ca28d964b
Limit YOSYS_MAX_THREADS to 4 for abcopt-tests
2025-12-04 12:09:49 +01:00
Robert O'Callahan
a871415abf
Limit YOSYS_MAX_THREADS to 4 when running seed-tests
2025-12-04 12:09:48 +01:00
Robert O'Callahan
fc951a28d3
Limit YOSYS_MAX_THREADS to 4 when running makefile-tests so we don't overload systems when running 'make -j... test'
2025-12-04 12:09:04 +01:00
Gus Smith
07a690570e
Merge pull request #5128 from gussmith23/gussmith23-rosette-backend-updates
...
Add association-list-based helper functions into Rosette backend
2025-12-02 16:27:05 -08:00
Emil J. Tywoniak
36f0e0392f
aiger2: add crash test
2025-12-02 15:30:02 +01:00
Krystine Sherwin
b2e527c67e
tests/aiger: Only write aigmap.err on error
2025-12-02 14:17:16 +13:00
Krystine Sherwin
6842003e76
tests/aiger: Add gold .aag files
...
Generated with changes from 26f2c111
2025-12-02 14:03:37 +13:00
Krystine Sherwin
e2e7922756
tests/aiger: Compare .aag outputs against known
...
Any files that differ (e.g. due to compiler order of operations changing) will trigger an error.
2025-12-02 14:03:36 +13:00
Emil J
9871e9b17e
Merge pull request #5496 from YosysHQ/emil/liberty-flop-loops
...
read_liberty: support loopy retention cells
2025-12-01 22:50:20 +01:00
Gus Smith
38ee4fc730
Undo more unnecessary changes
2025-11-29 16:17:27 -08:00
Gus Smith
62e666c2ed
Make run-test work from anywhere
2025-11-29 16:08:42 -08:00
Gus Smith
fb8a1ad3bc
Add back param
2025-11-29 16:07:18 -08:00
Gus Smith
0f8e1e3bf7
Undo more changes
2025-11-29 16:06:18 -08:00
Gus Smith
5f84b8b339
Undo some other changes
2025-11-29 15:32:19 -08:00
Gus Smith
e223087578
Undo more changes that slipped in from somewhere? a merge maybe?
2025-11-29 15:28:34 -08:00
Gus Smith
5d5a7ab443
remove unused
2025-11-29 15:08:57 -08:00
Gus Smith
473edd19ed
Undo formatting
2025-11-29 15:06:46 -08:00
Gus Smith
403740428c
Remove unknown change
2025-11-29 15:01:17 -08:00
Gus Smith
6fe35fa46c
Merge remote-tracking branch 'origin/main' into gussmith23-rosette-backend-updates
2025-11-29 14:20:36 -08:00
Natalia
d4e0437cfd
Fix Verific run-test.mk setup
2025-11-24 15:56:28 -08:00
Krystine Sherwin
a8e8746fc0
tests: Tidy up bug3515
...
Add base case where mapping is possible for sanity checking.
2025-11-25 07:35:19 +13:00
Krystine Sherwin
ba31a02578
tests: Add bug3515
2025-11-25 07:04:34 +13:00
Krystine Sherwin
44ab884b06
bug5495.sh: Skip test if timeout isn't available
2025-11-21 04:03:39 +00:00
Krystine Sherwin
4d1b688717
Tests: Add testcase for problematic ABC DONE check
2025-11-21 14:46:01 +13:00
