Companion source — an exact mirror of the public code repository, folder for folder.

Click a folder to expand it; click a file to view it. Opening a folder shows its README (build & run instructions) rendered inline. Every example is self-contained and builds from its own directory.

Study mode — open a flagship (ch2_rtl_fv_examples/01_soda_machine/soda_machine_moore.sv, ch3_fv_examples/01_proof_engines/cdcl.py, or ic3.py) and a context panel slides in on the right with a live animation, how-to-run, and the book link.