Finite State Machine Synthesis for At-Speed Oscillation Testability. - Katherine Shu-Min Li; Chung-Len Lee 001; Tagin Jiang; Chauchin Su; Jwu E. Chen (Asian Test Symposium, 2005)