Upenn-sf is a project mainly written in Verilog, it's free.

Working through the examples from the Software Foundations course linked below