The analysis of power-related characteristics of FSM benchmarks | IEEE Conference Publication | IEEE Xplore