Idongesit E. Ebong & Pinaki Mazumder 
Lectures on Digital Design Principles [PDF ebook] 

Lectures on Digital Design Principles provides students an accessible reference for engaging with the building blocks of digital logic design. The book is an aggregation of lectures for an introductory course and provides a conversational style to better engage with students. Since the text is developed from lectures, important and foundational concepts are highlighted without tedious proofs. With respect to subject matter, students are introduced to different methods of abstracting digital systems, along with the strengths and weaknesses of these different methods. For example, Boolean logic can be represented as algebraic equations, gate level diagrams, switching circuits, truth tables, etc. Strengths and drawbacks to these representations are discussed in the context of Boolean minimization and electronic design automation. The text also delves into dynamic behavior of digital circuits with respect to timing in combinational circuits and state transitions in sequential circuits.