Rather than the classic “contact and coil” representation of ladder diagram or relay ladder logic programming, function blocks present ... According to Dixson, ladder logic is being replaced by flow ...

Logic Equivalence Check ... a breakthrough on the state stable representation called BDD (Binary Decision Diagram), which is a more effective way to represent the variable flow. It can be reduced and ...