1ffa6b277d
Fix property argument retaining type of the previous variable ( #7582 )
...
Signed-off-by: Jakub Michalski <jmichalski@antmicro.com>
2026-05-13 07:41:35 -04:00
b0d58bbcef
Support SVA goto repetition with range `[->M:N]` ( #7569 )
2026-05-11 07:07:51 -04:00
c69c11b2db
Support procedural continuous assign/deassign ( #7493 )
2026-05-08 19:01:11 -04:00
8eca6b8fe7
Fix regression rejecting boolean `!x` inside sequence expressions ( #7549 ) ( #7551 )
...
Fixes #7549 .
2026-05-08 18:34:28 -04:00
4e349971d3
Support `s_eventually` ( #7291 ) ( #7508 )
2026-05-04 09:57:03 -04:00
bc1acc8aa3
Support followed-by operators `#-#` and `#=#` in properties ( #7523 )
2026-05-04 08:10:37 -04:00
659274e45d
Fix array indexing side effects in compound assignments ( #7519 )
2026-05-01 20:35:51 -04:00
327fc4ffbe
Support randomize() with (identifier_list) {constraint_block} ( #7486 ) ( #7507 )
...
Fixes #7486 .
2026-04-28 06:10:53 -04:00
c8893b64de
Support `always` / `always[m:n]` / `s_always[m:n]` property operators ( #7482 )
2026-04-27 08:20:34 -04:00
cfebe805c9
Support implication operator with constraint_set ( #7300 ) ( #7448 )
...
* Support implication operator with constraint_set
* improve coverage, achieve 100 line cov
* Address review: simplify addNext; tighten disable soft grammar to constraint_primary
* Apply 'make format'
* re-run
---------
Co-authored-by: github action <action@example.com>
2026-04-23 10:50:23 +02:00
51eb5346c8
Support sequence within operator ( #7461 )
2026-04-23 05:47:24 +02:00
a680919edc
Support native FSM state and arc coverage ( #7412 )
2026-04-22 15:18:59 -04:00
ba508c00d2
Support `until_with` property ( #7290 partial) ( #7436 )
2026-04-17 06:33:36 -04:00
4da31b0418
Support 'until' property (partial #7290 ) ( #7399 )
2026-04-10 08:17:54 -04:00
854e80c3c2
Support nonconsecutive repetition [=N] in sequence expressions ( #7397 )
2026-04-09 18:28:28 -04:00
d20d765dd0
Support first_match sequence operator ( #7392 )
2026-04-09 11:42:43 -04:00
e63c4f563e
Support consecutive repetition [*N:M], [+], and [*] in sequence expressions ( #7379 )
2026-04-08 10:26:03 -04:00
141fe8bdad
Support sequence intersect operator ( #7374 )
2026-04-08 09:31:54 +02: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
dbd4823323
Fix error on illegal nand/nor binary operators ( #7353 ).
...
Fixes #7353 .
2026-03-31 18:35:27 -04:00
bf453361f6
Support consecutive repetition [*N] in SVA properties ( #7311 )
2026-03-30 07:01:33 -04:00
5036af3d37
Commentary: Refer to latest standard where can
2026-03-29 18:06:12 -04:00
55e5f01758
Support SVA goto repetition [->N] in concurrent assertions ( #7310 )
2026-03-27 10:31:15 -04:00
e0963bd587
Fix false ASSIGNIN on interface input ports driven from outside ( #7322 )
2026-03-26 12:30:16 -04:00
3ddf7ad6ec
Support ##[M:N] range cycle delay in SVA sequences ( #7312 )
2026-03-26 10:08:22 -04:00
aff85cef19
Support more than one dot in defparam ( #7262 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-03-24 09:20:46 -04:00
0b2bf991a6
Support boolean and/or in sequence expressions ( #7285 )
2026-03-24 08:56:14 -04:00
921607fd35
Support property-local variables and sequence match items ( #7286 )
2026-03-22 06:21:57 -07:00
a8bccab8e6
Support named sequence declarations and instances in assertions ( #7283 )
2026-03-20 10:24:46 -04:00
a0a684109f
Support modport export/import task prototypes and out-of-block definitions ( #7277 )
2026-03-18 19:20:34 -04:00
602ee384de
Support $sformat with runtime format string ( #7212 ). ( #7257 )
...
Fixes #7212 .
2026-03-14 22:43:56 -04:00
7cd49a8028
Support dist and solve...before inside foreach constraints ( #7245 ) ( #7253 )
2026-03-13 11:05:18 -04:00
08c6d5bde5
Improve some display error handling ( #7212 prep)
2026-03-12 07:49:21 -04:00
4e6eafd994
Allow constant expressions without parentheses in PATHPULSE$ declaration ( #7199 )
2026-03-11 06:01:33 -04:00
f7c5454d91
Internals: Strengthen AstNodeExpr operand types ( #7138 )
2026-02-23 20:55:08 +00:00
da51021b0a
Internals: Simplify AstForeach header handling ( #7126 )
...
Rename AstSelLoopVars to AstForeachHeader, and make it a non-NodeExpr.
Tweak parser to always create an AstForeachHeader, so no need to fix it
up later.
2026-02-22 18:57:12 +00:00
78ee787bb1
Internals: Clean up AstArg usage in AstNodeFTaskRef ( #7121 )
...
- Strengthen type of AstNodeFTaskRef::pinsp to be List[AstArg]
- Rename 'pinsp' to 'argsp'
- Add default constructor arguments
2026-02-22 10:38:37 +00:00
da28c67e60
Fix #0 delays to control fork scheduling ( #6730 repair) ( #6891 )
...
Signed-off-by: Artur Bieniek <abieniek@internships.antmicro.com>
2026-02-17 21:51:11 -05:00
14a94b6de9
Internals: Add addNextNull. No functional change intended.
2026-02-16 08:09:29 -05:00
7c1b348b41
Support `$get_initial_random_seed` ( #7056 ) ( #7069 ).
...
Fixes #7056 .
2026-02-16 05:57:44 -05:00
3dd2b762e7
Fix scope tree in traces in hierarchical mode ( #7042 )
2026-02-12 20:54:03 -05:00
b9ef4a6c48
Add parsing of coverpoint identifier in place of covergroup range list ( #6961 )
2026-01-30 07:05:57 -05:00
5547833dde
Add UNSUPPORTED error on IEEE complex ports ( #2844 partial)
2026-01-28 19:14:10 -05:00
7c6c6a684b
Add SPDX copyright identifiers, and get 'reuse' clean. No functional change.
2026-01-26 20:24:34 -05:00
d3ecba7699
Internals: Cleanup some verilog.y dead since IEEE 2017
2026-01-26 15:51:19 -05:00
ddbcd66722
Support `extern module` as a forward-declaration that is ignored.
2026-01-22 19:00:26 -05:00
c4dcdeab9a
Add parsing of solve-before inside foreach ( #6934 )
2026-01-20 07:14:11 -05:00
50b6954cfc
Internals: cppcheck cleanups
2026-01-17 23:18:09 -05:00
Jakub Michalski
Yilou Wang
Artur Bieniek
Bartłomiej Chmiel
Kamil Danecki
Yogish Sekhar
Ryszard Rozak
Wilson Snyder
Pawel Kojma
Geza Lore
Artur Bieniek
Srinivasan Venkataramanan
Geza Lore