Mohamed Gaber
0e7671c1b3
Merge remote-tracking branch 'origin/main' into update_from_upstream
2026-06-21 15:07:32 +03:00
Akash Levy
dc995eba98
opt_first_fit_alloc
2026-06-21 00:56:39 -07:00
Mohamed Gaber
4db5fe5f6d
Merge remote-tracking branch 'silimate/main' into update_from_upstream
2026-06-19 00:07:08 +03:00
Mohamed Gaber
d423c5c03a
chore: disable failing tests until we can take a deeper look at them
2026-06-18 23:02:21 +03:00
Akash Levy
9df378f8ac
opt_carry_select pass
2026-06-18 02:36:29 -07:00
Mohamed Gaber
98a1db2756
equiv_opt: support -ignore-unknown-cells
2026-06-17 21:10:02 +03:00
Mohamed Gaber
8267cf87b5
infer_ce: remove pass
2026-06-17 21:01:20 +03:00
Mohamed Gaber
569ab1231b
Merge remote-tracking branch 'silimate/main' into update_from_upstream
2026-06-16 02:02:41 +03:00
Akash Levy
23b021a26b
Fix opt_compact_prefix wide packs and opt_priority_onehot max-width test
...
The tests/silimate suite (which aborted the Run tests CI job) exposed two
issues in the generalized passes:
- opt_compact_prefix: the forward dense pack regressions at 64 and 128 bits
no longer rewrote. The ConstEval fingerprint was uint64_t-based (capped at
62 bits) and the per-cone cell cap (max_width*96) was below the O(width^2)
cell count of a wide pack. The fingerprint now drives whole-width Const
bit patterns (no width cap) and the cone cap scales quadratically; total
work stays bounded by the shared walk/eval budgets.
- opt_priority_onehot: the "max-width below lane count" negative test set
max_width=8 on a 16-lane design expecting no rewrite, but the generalized
matcher legitimately (and equivalence-provably) rewrites the 8-lane
sub-region. The test now uses max_width=3 (below min_width 4) to verify
the width gate suppresses all matching.
Co-authored-by: Cursor <cursoragent@cursor.com>
2026-06-15 12:02:09 -07:00
Mohamed Gaber
0217efb67d
Merge remote-tracking branch 'silimate/main' into update_from_upstream
2026-06-10 20:33:33 +03:00
Mohamed Gaber
d986ee91ac
CMake: integrate silimate additions and extensions
...
- update CMakeLists.txt to load two new files:
- SilimateConfig.cmake: sets Silimate configuration options and defaults
- SilimateVerific.cmake: compiles Verific library, optionally with Silimate modifications
- include silimate tests in test Makefile
2026-06-10 20:27:52 +03:00
Akash Levy
3743c4795a
opt_priority_onehot
2026-06-09 22:18:20 -07:00
Akash Levy
faea2d904a
Make opt_compact_prefix match more
2026-06-09 10:55:10 -07:00
Mohamed Gaber
e58125b605
Merge remote-tracking branch 'upstream/main' into silimate
2026-06-09 16:22:51 +03:00
Akash Levy
b60d2daa41
Merge pull request #183 from Silimate/opt_argmax_fix1
...
opt_argmax fixes
2026-06-09 02:54:05 -07:00
Akash Levy
4a35c0ab87
opt_argmax fixes
2026-06-09 01:57:11 -07:00
Akash Levy
30c510041a
Fix opt_compact_prefix up
2026-06-09 00:34:13 -07:00
Miodrag Milanović
693d5a7eb0
Merge pull request #5903 from YosysHQ/krys/verific_memsize
...
verific: Fix non-contiguous memory flattening producing out of bounds accesses in some cases
2026-06-04 05:43:04 +00:00
Miodrag Milanovic
ce280354cf
Update CI scripts for CMake
...
Co-authored-by: Catherine <whitequark@whitequark.org>
2026-06-03 08:58:11 +00:00
Catherine
a727e7f6e7
Migrate build system to CMake
...
See #5895 for details.
This commit does not include CI or documentation changes.
2026-06-03 08:58:10 +00:00
Catherine
bcc736ed7d
Revert "Putting back some Makefile.conf"
...
This reverts commit d8587f44f0
2026-06-02 15:01:50 +00:00
Akash Levy
b3ea5770cd
opt_argmax pass
2026-06-02 04:11:17 -07:00
Akash Levy
c7b2c16405
Merge pull request #179 from Silimate/opt_compact_prefix
...
Add opt_compact_prefix pass
2026-06-02 02:14:37 -07:00
Akash Levy
a730032f5f
Add opt_compact_prefix pass
2026-06-01 23:00:33 -07:00
Akash Levy
0c3446e8af
Fixups for Greptile
2026-06-01 19:03:52 -07:00
Akash Levy
9cc69a3c49
Improvement to opt_balance_tree
2026-06-01 17:56:44 -07:00
Philippe Sauter
c89cfe1e6e
peepopt: add shiftpow2 pattern
...
Rewrite power-of-two indexed word selects to $bmux when the shift
amount already carries the scale as low zero bits.
Keep the rule to non-overlapping selections and bound the generated
mux ways. Add regressions for aligned shifts, padding, signed
extension, and shiftmul handoff cases.
2026-05-31 02:01:32 +02:00
Krystine Sherwin
0360a4bd0a
tests/check_mem: Drop unused init check
...
It was also raising an error in `read_verilog`.
2026-05-30 11:06:11 +12:00
Emil J. Tywoniak
80bdbaa010
genrtlil: don't avoid emitting flops for nosync
2026-05-29 11:37:08 +02:00
Krystine Sherwin
52e0030cc5
tests/check_mem: Add problematic case
...
Verific reports it as 16 2-bit addresses, meaning we have to iterate over the last dimension while skipping indices.
2026-05-29 18:40:25 +12:00
Krystine Sherwin
ab5f25db9a
Add test for non-contiguous memory init
...
Also negative memory addresses.
2026-05-29 18:40:24 +12:00
Krystine Sherwin
aac7366862
tests: Add check_mem to vanilla-test
2026-05-29 18:40:24 +12:00
Krystine Sherwin
f6327cc444
check_mem: Add -non-const option
...
Can identify potentially dangerous addressing, but also prone to false-positives.
2026-05-29 18:40:24 +12:00
Krystine Sherwin
07e3d648aa
Add check_mem command
...
Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878 .
Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands. Helpful for when you want to run the same set of commands on a bunch of sv files.
2026-05-29 18:40:23 +12:00
Miodrag Milanović
1801abf30a
Merge pull request #5913 from YosysHQ/abcexternal
...
Putting back some Makefile.conf
2026-05-28 09:49:16 +00:00
Miodrag Milanovic
d8587f44f0
Putting back some Makefile.conf
2026-05-28 11:13:29 +02:00
nella
d6106f141c
Add matching for fused mac operations for Nexus ( fix #5906 ).
2026-05-28 09:58:18 +02:00
Akash Levy
14efbe3ee6
Smallfix
2026-05-27 04:36:45 -07:00
Akash Levy
6a8d800e63
Fixes for filtering small cases and catching more larger ones with trickier signatures
2026-05-27 03:40:44 -07:00
Akash Levy
5c3fbd2d63
Merge branch 'main' into opt_addcin
2026-05-27 01:52:11 -07:00
Akash Levy
89717069fe
Fixup
2026-05-27 01:51:54 -07:00
Akash Levy
d3c5591647
Merge pull request #171 from Silimate/infer_icg
...
infer_icg pass
2026-05-27 01:06:40 -07:00
Akash Levy
7ea578a212
Merge pull request #170 from Silimate/ffnormpol
...
ffnormpol pass
2026-05-27 01:05:05 -07:00
Akash Levy
e39395132d
opt_addcin pass
2026-05-27 00:39:25 -07:00
Akash Levy
2bb10837d9
infer_icg pass
2026-05-27 00:14:51 -07:00
Akash Levy
9e73dd6d27
ffnormpol pass
2026-05-27 00:13:05 -07:00
Akash Levy
42d257e523
opt_andor_pmux pass
2026-05-27 00:11:54 -07:00
junyao
6f111118de
proc: ignore nosync temporaries in always_latch checks
2026-05-26 00:56:07 +08:00
Akash Levy
2ba8a5cac6
opt parallel prefix and priority encoders
2026-05-20 12:14:50 -07:00
Akash Levy
b4e94d9f13
modshr onehot pass
2026-05-20 01:25:28 -07:00
