ByNobleID
    Fast fault simulation in combinational circuits: an efficient data structure, dynamic dominators and refined check-up | NobleID