Arkadiusz Kozdra

ASAN: High debug levels trigger stack-use-after-scope

1

I have built Verilator with AddressSanitizer enabled, and encountered a bug as follows: ```cpp ==227500==ERROR: AddressSanitizer: stack-use-after-scope on address 0x7ffd6eaa0b50 at pc 0x0000004bec58 bp 0x7ffd6eaa0460 sp 0x7ffd6eaa0458 READ of size...

Constrained randomization with popen and external solvers

1

Verilator currently has support for basic randomization, but the constraints are ignored. Our previous approach involved an exteral library called [CRAVE][crave], which was versatile, but quite heavyweight for our limited...

Compilation error on classes with names differing in case

2

On current master, as well as older versions, Verilator runs into a compilation error when compiling any code like the following: ```sv class Cls;endclass class CLS;endclass ``` The primary reason...

This change takes advantage of [QF_ABV](https://smt-lib.org/logics-all.shtml#QF_ABV) logic, which extends [QF_BV](https://smt-lib.org/logics-all.shtml#QF_BV) with [ArraysEx](https://smt-lib.org/theories-ArraysEx.shtml) theory (supported in all of Z3, CVC4 and CVC5). This allows for result-dependent indices in particular, and can...