"Open source RTL verification with Verilator" - Karol Gugala (Latch_2024)

Karol Gugala https://fossi-foundation.org/latch-up/2024 This presentation follows up on the [ORConf 2023](https://orconf.org/) [UVM support overview talk](https://orconf.org/#open-source-design-testing-and-verification-with-uvm-and-verilator) and discusses Antmicro's work towards enabling constrained randomization in Verilator, another important milestone on the road towards full open source UVM support. Ultimately, the work is meant to enable cloud scaling of production-grade ASIC verification workloads. With the new implementation, Verilator generates expressions in the smtlib2 language, letting users pick between multiple solvers, and introduces no build time dependencies. This presentation will cover the details of the implementation, provide open source samples and discuss future considerations for open source RTL verification. The FOSSi Foundation is proud to announce Latch-Up, a conference dedicated to free and open source silicon. Latch-Up: a weekend of presentations and networking for the open source silicon community, much like its European sister conference ORConf. Produced by NDV: https://youtube.com/channel/UCQ7dFBzZGlBvtU2hCecsBBg?sub_confirmation=1 OpenHardware Sat Apr 20 09:00:00 2024 at b45r230