Synthesis Lectures on Digital Circuits and Systems