For Computer Science and Engineering courses in logic and digital design at the sophomore/junior level. Emphasising the fundamentals underlying logic design using hardware description languages, synthesis, and verification, this book focuses on the evolving applications of basic computer design concepts with connections to real-world technology.