ByNobleID
    PLATO-a CAD tool for logic synthesis based on decomposition | NobleID