Watch SICP Videos at MIT OCW
Structure and Interpretation of Computer Programs (SICP) includes digital logic simulation as a programming example.
This course will become read-only in the near future. Tell us at community.p2pu.org if that is a problem.