f3d2aadb60
Merge c66d4729c2 into 141fe8bdad
2026-04-08 09:37:35 +02:00
141fe8bdad
Support sequence intersect operator ( #7374 )
2026-04-08 09:31:54 +02:00
2736262b98
Fix resolving default/nondefault type-of-type parameters ( #7380 ) ( #7385 )
2026-04-07 17:58:36 -04:00
8c11d0d0bd
Support rise/fall delays ( #7368 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-04-07 06:44:52 -04:00
dfb7b034a5
Support sequence 'throughout' operator ( #7378 )
2026-04-06 17:12:22 -04:00
72b2ca5585
Support ##[*], ##[+], ##[M:$] unbounded cycle delays in SVA properties ( #7377 )
2026-04-06 16:31:43 -04:00
0df0064d64
Fix VPI access to Verilog `force`-ed signals ( #7381 )
2026-04-06 10:51:01 -04:00
9f4546fcb9
Fix constraint 'with' in parameter classes ( #7375 )
2026-04-04 21:03:44 -04:00
5b9cd12530
Internals: Remove mutex, part of last commit
2026-04-04 18:10:47 -04:00
33493cf5b4
Add `+verilator+solver+file` ( #7242 ).
...
Fixes #7242 .
2026-04-04 17:26:43 -04:00
2796294396
Fix string `inside` queue ( #7373 ).
...
Fixes #7373 .
2026-04-04 14:43:06 -04:00
94f3e16a6c
Commentary: Changes update
2026-04-04 14:42:11 -04:00
4b6bc1ff83
Apply 'make format'
2026-04-04 18:32:27 +00:00
3b454a6f60
Internals: Add isNonPackedArray(). No functional change. ( #7334 prep)
2026-04-04 14:31:09 -04:00
adb48046c2
Fix parameter default comparison when value contains type cast ( #6281 ) ( #7369 )
...
Fixes #6281 .
2026-04-04 11:02:20 -04:00
de8d3c9356
Commentary: Changes update
2026-04-03 20:16:23 -04:00
00bf59ac92
Internals: Cleanup some V3Simulate branches. No functional change intended.
2026-04-03 20:16:10 -04:00
ed0506ea8d
Internals: Use Var flag instead of magic names. No functional change intended.
2026-04-03 19:05:56 -04:00
efd60df2be
Fix virtual interface select from sub-interface instance ( #7203 ) ( #7370 )
...
Fixes #7203 .
2026-04-03 19:04:10 -04:00
e7a644a3fc
Fix functions in generate block resulting in "Broken link in node" ( #7236 ) ( #7367 )
...
Fixes #7236
2026-04-03 11:19:17 -04:00
c66d4729c2
Fix whitespace 2
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-04-03 11:41:08 +02:00
e181a86d6e
Fix whitespace
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-04-03 11:15:05 +02:00
14dfd8124e
Apply suggestion from @wsnyder
...
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
2026-04-03 10:54:43 +02:00
16362deb2e
Update test_regress/t/t_fork_write_after_timing.v
...
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
2026-04-03 10:51:55 +02:00
56ed47ee7c
Fix false ASSIGNIN on interface input port connections ( #7365 )
...
* add oneline fix
* Apply 'make format'
* merge test and update 2 space indents
---------
Co-authored-by: github action <action@example.com>
2026-04-02 20:44:48 +02:00
1e5c93cc51
Fix virtual interface function calls binding to wrong instance ( #7363 )
2026-04-02 10:53:01 -04:00
32672deb6f
Fix resolving default/nondefault type parameters ( #7171 ) ( #7346 )
...
Fixes #7171
2026-04-02 10:51:11 -04:00
8f99f3e0bc
Apply 'make format'
2026-04-02 14:08:45 +00:00
22e566a1c0
Allow warning in tests
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-04-02 15:38:38 +02:00
d7c484ae85
Fix missing temporary for DfgSplicePacked ( #7361 )
2026-04-01 22:44:58 +01:00
2e151c3b74
Do not unroll simple array assignments in V3Slice ( #7359 )
...
See also #5644
2026-04-01 22:35:29 +01:00
894f6c4c58
Fix virtual interface member trigger convergence ( #5116 ) ( #7323 )
2026-04-01 21:42:42 +01:00
6aa6c45c73
Internals: Add DfgGraph::neighborhood for debugging
2026-04-01 10:53:30 +01:00
b4a0ca8ba6
Optimize Ast read references in Dfg directly ( #7354 )
...
Introduce a new DfgAstRd vertex, which holds an AstNodeExpr that is a
reference to a variable. This enables tracking all read references in
Dfg, which both enables more optimization, and allows inlining of
expressions in place of the reference more intelligently (e.g, when the
expression is only used once, and is not in a loop). This can get rid of
20-30% of temporary variables introduced in Dfg in some designs. Note
V3Gate later got rid of a lot of those, this is a step towards making
V3Gate redundant. The more intelligent expression inlining is worth ~10%
runtime speed on some designs.
2026-04-01 10:52:56 +01:00
dbd4823323
Fix error on illegal nand/nor binary operators ( #7353 ).
...
Fixes #7353 .
2026-03-31 18:35:27 -04:00
e36564ff73
Add warning about setting lifetime to static
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-03-31 12:27:37 +02:00
1e581ba5fa
Make refs illegal inside static tasks
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-03-31 12:21:45 +02:00
fbf110cd06
Apply suggestion
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-03-31 12:21:28 +02:00
3e596e7f55
Update test
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-03-31 11:52:55 +02:00
1096740113
Apply 'make format'
2026-03-30 23:12:27 +00:00
62ffe43a82
Fix port assignment to large arrays ( #6904 ).
...
Fixes #6904 .
2026-03-30 19:09:23 -04:00
6aa1690745
Tests: Add t_inst_port_reverse ( #5877 )
2026-03-30 19:09:22 -04:00
dc67dc6dc8
Internals: Remove very old VL_SIG* when under VL_NO_LEGACY
2026-03-30 19:09:22 -04:00
c8a596e43e
CI: Fix ubuntu-24.04-riscv needing install --yes, no systemc
2026-03-30 19:09:22 -04:00
2458819794
Commentary: Changes update
2026-03-30 19:09:13 -04:00
ff37860e0c
CI: Bump the everything group with 2 updates ( #7347 )
2026-03-30 14:06:41 -04:00
04f410622b
Fix wait() hang when interface with combinational logic using process calls and VIF function ( #7342 )
2026-03-30 15:34:32 +01:00
d9dfe983ae
Apply 'make format'
2026-03-30 11:23:21 +00:00
75097a083e
Update test
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-03-30 13:02:01 +02:00
bf453361f6
Support consecutive repetition [*N] in SVA properties ( #7311 )
2026-03-30 07:01:33 -04:00
Kamil Danecki
Yilou Wang
em2machine
Artur Bieniek
Christian Hecken
Wilson Snyder
github action
Kamil Danecki
Geza Lore
dependabot[bot]