7cd49a8028
Support dist and solve...before inside foreach constraints ( #7245 ) ( #7253 )
2026-03-13 11:05:18 -04:00
e0f1f316aa
Fix randc solver hang with wide variables ( #7068 ) ( #7248 )
2026-03-13 07:53:51 -04:00
a787d631ce
Internals: Add some missing const/UNLIKELY markers. No functional change
2026-03-12 07:46:21 -04:00
3bc73cc768
Support constraint imperfect distributions ( #6811 ) ( #7168 )
2026-03-03 11:23:14 -05:00
108d209bd7
Support soft constraint solving with last-wins priority ( #7124 ) ( #7166 )
2026-03-01 15:16:55 -05:00
1717df0261
Support solve..before constraints ( #5647 ) ( #7123 )
2026-02-22 11:33:18 -05:00
9b1b9a5b3b
Fix randc cyclic behavior broken with constraints ( #7029 ) ( #7035 )
2026-02-12 10:58:04 -05:00
f0afcede10
Internals: Use pure expressions in V3Randomize ( #6974 )
2026-02-01 05:09:19 +00:00
7c6c6a684b
Add SPDX copyright identifiers, and get 'reuse' clean. No functional change.
2026-01-26 20:24:34 -05:00
50b6954cfc
Internals: cppcheck cleanups
2026-01-17 23:18:09 -05:00
6fc9089a77
Support `unique` constraints (on 1D static arrays) ( #6810 ) ( #6878 )
2026-01-16 08:42:09 -05:00
31f8be0b85
Support detailed failure info for constraint violations ( #6617 ) ( #6883 )
...
* logging for the unsatisfied constraints
* Apply 'make format'
* fix teh quote error in the array indexing
* Apply 'make format'
* Len change for the hash for randomity when named assertion is used
* seperate name assertion and satisfied case
* Apply 'make format'
* simply comments and display info
* refine code and fix protect case
* format
* update display in test and .out file
* add an enable flag and warning type, add a protect_id version test and update out files
* Apply 'make format'
* simplify some comments
* update out file, ready to be merged.
* update .py file to set the hash key solid
* rename and reformate the warning message to follow the verilator style
* add a nowarn test
* Apply 'make format'
* ordering
---------
Co-authored-by: Udaya Raj Subedi <075bei047.udaya@pcampus.edu.np>
Co-authored-by: github action <action@example.com>
2026-01-12 15:53:49 +01:00
048c97f0ae
Support `std::randomize(){...}` ( #4706 ) ( #6573 )
2025-11-14 14:32:01 -05:00
3dc430085d
Internals: Misc verilated_random style cleanups. No functional change.
2025-09-21 12:33:38 -04:00
f71b8e6195
Internals: Fix up include/ cppcheck issues ( #6311 )
2025-08-19 21:36:52 -04:00
7191a0ba8b
Internals: Favor preincrements. No functional change.
2025-05-09 21:20:35 -04:00
fe15171649
Internals: cppcheck cleanups. No functional change.
2025-02-18 01:14:51 -05:00
6b4183632c
Support Unpacked Structures' Constrained Randomization ( #5657 ) ( #5759 )
2025-02-03 11:56:00 -05:00
0380a36c76
Fix constrained random for > 64-bit associative arrays ( #5670 ) ( #5682 )
2025-01-09 08:33:38 -05:00
54ef9ad31c
Support associative array basic constrained randomization ( #5658 ) ( #5670 )
2024-12-12 11:31:54 -05:00
a173883b2d
Support basic constrained random for multi-dimensional dynamic array and queue ( #5591 )
2024-11-08 14:04:58 -05:00
c05c48aaf3
Support unpacked array Constrained Randomization ( #5437 ) ( #5489 )
2024-10-02 10:29:47 -04:00
4a58997604
Support basic constrained queue randomization ( #5413 )
...
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-09-10 09:33:14 -04:00
5cb6f370e9
Internals: Emit rand constraint right away. No functional change intended. ( #5409 )
...
This change gets rid of most of the shared pointers and useless memory
allocations. Also takes advantage of higher-arity bvxor/concat to
reduce amount of data sent to the solver.
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-08-28 16:11:39 +02:00
f623db7d68
Normalize types in constraints ( #5407 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2024-08-27 12:53:44 +02:00
2f5c58b345
Support `rand_mode` ( #5273 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2024-07-31 22:30:48 +01:00
85356f464f
State-dependent constraints ( #5217 )
...
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-07-01 20:19:15 +02:00
739be2f782
Support constrained randomization with external solvers ( #4947 )
2024-05-17 10:38:34 -04:00
Yilou Wang
Wilson Snyder
Geza Lore
Srinivasan Venkataramanan
Yilou Wang
Arkadiusz Kozdra
Krzysztof Bieganski