Definition. An ordered gate chain [ftip-00HC]
Definition. An ordered gate chain [ftip-00HC]
An ordered gate chain is \((g_1,\ldots ,g_k)\) with stage outputs \(e_1,\ldots ,e_k\); gate \(g_i\) may execute only after its declared prerequisites and records a monotone status in \(\{pass,fail,unknown\}\).