Designing State Machine Controllers Using Programmable Logic
Michael Treseler · Prentice Hall eBooks · 1991
Shows how to design reliable state machine controllers. The book presents the techniques necessary to design, verify and test state machine controllers with the an emphasis on synthesis using programmable logic devices, and on the state diagram view of sequential logic design and analysis.