ByNobleID
    Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams | NobleID