I don't know a ton about this field (though I'm curious, if anyone had recommended material) but I used Verilator for a risc-v project in university and it was excellent, substantially faster than Yosys