Analysis of bit transition count for EDAC encoded FSM | IEEE Conference Publication | IEEE Xplore