“…The delay model assumed in this work is that of unbounded gate and wire delays, as in previous approaches [2,7,5,4]. This is a conservative model, which assumes that inputs in an MIC transition can arrive at any time and in any order, and that gates and wires have unknown delay.…”