Books in “Synthesis Lectures on Digital Circuits & Systems”