This is a higan/Verilator co-simulation example/framework - View it on GitHub