Digital system design using programmable logic devices
Parag K. Lala
Fault tolerant and fault testable hardware design