Commit Graph

4 Commits

Author SHA1 Message Date
Sumanth Kadiyala 44fe96b2da
Add `+verilator+assert+lock` to ignore RTL assert control statements (#8086)
Co-authored-by: Sumanth Kadiyala <sumanth@hudson-trading.com>
2026-08-12 19:13:02 -04:00
Artur Bieniek 87bebbb732
Support global $assertcontrol (#7807)
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-06-22 18:51:41 -04:00
Wilson Snyder 7c6c6a684b Add SPDX copyright identifiers, and get 'reuse' clean. No functional change. 2026-01-26 20:24:34 -05:00
Bartłomiej Chmiel 7d5e19365e
Support assertcontrol directive type (#5310)
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
2024-08-05 17:54:13 -04:00