In school, I remember coming up with a binary decision diagram (BDD) variable-ordering algorithm that ... treated the same way as functional logic during the remainder of the flow. IC testing is about ...