On the global optimization of checking sequences for finite state machine implementations

Monika Kapus-Kolar. On the global optimization of checking sequences for finite state machine implementations. Microprocessors and Microsystems, 38(3):208-215, 2014. [doi]

Abstract

Abstract is missing.