Improving redundancy addition and removal using unreachable states for sequential circuits.

Xiaoqing Yang, Zigang Xiao, Yu-Liang Wu

Browse the full ISCAS paper archive.