ByNobleID
    Sequential logic optimization by redundancy addition and removal | NobleID