20200722-Circuit-Capture-of-Chisel-p1-Correctness.pdf