opensecura / 3p / lowrisc / opentitan / 03b076cd3e56de8b1e172defa623298c9a7463a4 / doc / ug / getting_started_verilator.md