An approach for functional decomposition applied to state-based designs | IEEE Conference Publication | IEEE Xplore