ByNobleID
    Coalgebraic division for multilevel logic synthesis | NobleID