verilator

mirror of https://github.com/verilator/verilator.git

Author	SHA1	Message	Date
Arkadiusz Kozdra	3e5859e5da	Support constraining AstSel (#5344 ) Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>	2024-08-08 15:37:08 +01:00
Arkadiusz Kozdra	570e1bc35a	Support conditional constraints (#5245 )	2024-07-10 11:30:18 -04:00
Arkadiusz Kozdra	739be2f782	Support constrained randomization with external solvers (#4947 )	2024-05-17 10:38:34 -04:00