Theoretical comparison between sequential redundancy addition and removal and retiming optimization techniques | Publicación