Mitchell A. Thornton
Introduction to Logic Synthesis Using Verilog HDL
Microchip AVR® Microcontroller Primer
Boolean Differential Calculus
Index Generation Functions
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 - Part I
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 - Part II
Modeling Digital Switching Circuits
Modeling Digital Switching Circuits with Linear Algebra
Multiple-Valued Logic