luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
7,451 Commits 2 Branches 166 Tags 162 MiB
Commit Graph

102 Commits

Author SHA1 Message Date
Ryszard Rozak 5470cf9fa9
Support randomize size constraints with restrictions (#5582 partial) (#5611) 2024-11-15 10:45:06 -05:00
Wilson Snyder 4969125e5a Add error on soft constraints of randc 2024-11-09 12:45:55 -05:00
Wilson Snyder d230ccd716 Add error on `solve before` of `randc` variable. 2024-11-09 12:26:48 -05:00
Yilou Wang a173883b2d
Support basic constrained random for multi-dimensional dynamic array and queue (#5591) 2024-11-08 14:04:58 -05:00
Ryszard Rozak 6083480abb
Fix `rand` dynamic arrays with null handles (#5594) 
l
 2024-11-08 06:53:43 -05:00
Ryszard Rozak b3348a38d0
Internals: Remove repeated clearing of constraints (#5583) 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2024-11-04 04:48:55 -08:00
Ryszard Rozak 292c2e289e
Support `rand` dynamic arrays of objects (#5557) (#5564) 2024-10-25 12:00:43 -04:00
Yilou Wang 2409f32d87
Fix multi-range indices assignment (#5534) (#5547) 
Co-authored-by: Udaya Raj Subedi <075bei047.udaya@pcampus.edu.np>
 2024-10-21 09:56:50 -04:00
Yilou Wang 8c3cc3af8f
Fix struct array assignment (#5455) (#5537) 2024-10-21 09:54:33 -04:00
Yilou Wang 920c8012de
Support unconstrained randomization for associative array and queue (#5515) 2024-10-08 10:54:20 -04:00
Yilou Wang c05c48aaf3
Support unpacked array Constrained Randomization (#5437) (#5489) 2024-10-02 10:29:47 -04:00
Arkadiusz Kozdra 02e7767886
Fix randomize with foreach constraints (#5492) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-09-26 19:31:06 +02:00
Yilou Wang 70112438c3
Support packed/unpacked and dynamic array unconstrained randomization (#5414) (#5415) 2024-09-19 20:07:05 -04:00
Arkadiusz Kozdra dd95e033e7
Support inside array constraints (#5448) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-09-19 07:27:59 -04:00
Arkadiusz Kozdra 0b7510befa
Support basic dist constraints (#5431) 2024-09-12 05:20:36 -07:00
Arkadiusz Kozdra 4a58997604
Support basic constrained queue randomization (#5413) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-09-10 09:33:14 -04:00
Arkadiusz Kozdra ef259f63ca
Fix randomize treated as std::randomize in classes (#5436) 2024-09-10 09:10:36 -04:00
Arkadiusz Kozdra 2f690c0530
Fix foreach colliding index names (#5444) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-09-10 07:17:21 -04:00
Krzysztof Bieganski 088862d449
Support appending to queue via `[]` (#5421) 2024-09-02 09:45:47 -04:00
Krzysztof Bieganski f133a2811f
Fix capturing params in `randomize() with` (#5416) (#5418) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-29 23:02:21 +02:00
Krzysztof Bieganski aecf38e3ad
Fix V3Randomize compile error on old GCC (#5403) (#5417). 
No functional change intended.
 2024-08-29 10:39:54 -04:00
Krzysztof Bieganski 675d9a641e
Call `pre`/`post_randomize` on `randomize() with` (#5412) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-28 19:42:49 +02:00
Krzysztof Bieganski 155dcc5658
Fix empty `foreach` in `if` in constraints (#5408) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-27 15:39:36 +02:00
Krzysztof Bieganski f623db7d68
Normalize types in constraints (#5407) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-27 12:53:44 +02:00
Yilou Wang c4cb26fa9a
Support unconstrained randomization for unions (#5395) (#5396) 2024-08-26 11:04:45 -04:00
Wilson Snyder 8741fd17ad Internals: cppcheck cleanups. No functional change intended. 2024-08-23 18:24:34 -04:00
Krzysztof Bieganski eb8bbcda05
Internals: Simplify `CaptureVisitor` in `V3Randomize` (#5397) 2024-08-23 07:57:57 -04:00
Krzysztof Bieganski 930f35acc9
Support `constraint_mode` (#5338) 2024-08-21 06:16:44 -04:00
Krzysztof Bieganski 59d2eea302
Fix capturing fields from superclass in `randomize() with` (#5389) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-20 13:25:58 -04:00
Krzysztof Bieganski 6cb0a41857
Support inline random variable control (#5317) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-13 14:20:31 -04:00
Arkadiusz Kozdra 3e5859e5da
Support constraining AstSel (#5344) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-08-08 15:37:08 +01:00
Krzysztof Bieganski f4cb2c8cf2
Add more `rand_mode` unsupported errors (#5329) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-05 17:56:03 -04:00
Krzysztof Boroński 45ee949cc4
Internals: Disambiguate variable references under `with` clauses of `randomize()` methods (#5277) 2024-08-02 11:45:17 -04:00
Arkadiusz Kozdra 54f9f4b6a9
Support foreach constraints (#5302) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-08-02 10:03:55 -04:00
Krzysztof Bieganski 2f5c58b345
Support `rand_mode` (#5273) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-31 22:30:48 +01:00
Ryszard Rozak b9e1d55262
Fix handling of rand fields not referenced in constraints (#5305) 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2024-07-26 05:46:30 -04:00
Krzysztof Bieganski f5caa4b7dc
Fix randomizing current object with `rand` class instance member (#5292) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-22 14:41:12 +02:00
Krzysztof Bieganski 2bd2b9324f
Fix inline constraints creating class random generator (#5280) 2024-07-19 13:03:48 -04:00
Arkadiusz Kozdra 43377ed8b0
Add support for `this.randomize with` (#5282) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-07-19 09:14:56 +02:00
Krzysztof Bieganski b18037b7e7
Internals: Move non-visit methods to the proper place (#5279) 2024-07-18 08:57:39 -04:00
Krzysztof Bieganski 2a30a87580
Fix randomization when used with inheritance (#5268) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-17 08:21:45 +02:00
Arkadiusz Kozdra 0a9b31bb30
Add warning on dist in constraints (#5264) 2024-07-15 21:01:33 -04:00
Krzysztof Bieganski 34e37d7bd0
Keep one member map for randomize method creation (#5263) 
No functional change intended.

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-15 16:42:41 +02:00
Krzysztof Boroński 3cf9606ea9
Support inline constraints for class randomization methods (#5234) 
Signed-off-by: Krzysztof Boronski <kboronski@antmicro.com>
 2024-07-12 16:18:18 +02:00
Krzysztof Bieganski 2696a9a5bd
Fix unconstrained randomization of unpacked structs (#5252) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-11 16:43:56 +02:00
Arkadiusz Kozdra 570e1bc35a
Support conditional constraints (#5245) 2024-07-10 11:30:18 -04:00
Arkadiusz Kozdra 85356f464f
State-dependent constraints (#5217) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-07-01 20:19:15 +02:00
Wilson Snyder 708f875b31 Fix MSVC warnings. No functional change intended. 2024-06-07 22:52:56 -04:00
Arkadiusz Kozdra 739be2f782
Support constrained randomization with external solvers (#4947) 2024-05-17 10:38:34 -04:00
Kefa Chen 5f1dc73a1b
Support public packed struct / union (#860) (#4878) 2024-03-03 10:23:04 -05:00