Concurrent Error Detection for FSMs Designed for Implementation with Embedded Memory Blocks of FPGAs | IEEE Conference Publication | IEEE Xplore