On the optimization power of redundancy addition and removal techniques for sequential circuits | Publicación