Xiaoqing Yang, Zigang Xiao, Yu-Liang Wu. Improving redundancy addition and removal using unreachable states for sequential circuits. In International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France. pages 3172-3175, IEEE, 2010. [doi]
Abstract is missing.