An Approach for Implementing State Machines with Online Testability. - Parag K. Lala; Adam Mathews; James Patrick Parkerson (VLSI Design, 2010)