Finite State Machine Synthesis for At-Speed Oscillation Testability | IEEE Conference Publication | IEEE Xplore