ByNobleID
    Bounded potential slack: Enabling time budgeting for dual-V t allocation of hierarchical design | NobleID