Mikhail M. Chupilko. Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models. In 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010. pages 487-490, IEEE, 2010. [doi]
Abstract is missing.