Featuring a strong emphasis on the fundamentals underlying contemporary logic design using hardware description languages, synthesis and verification, this text focuses on the ever-evolving applications of basic computer design concepts.