Synthesis Lectures on Digital Circuits & Systems