FAQ/Frequently Asked Questions — Verilator 5.024 documentation