Automatic state space decomposition for approximate FSM traversal based on circuit analysis | IEEE Journals & Magazine | IEEE Xplore