An integrated approach to state assignment and sequential element selection for FSM synthesis | IEEE Conference Publication | IEEE Xplore