ENGG3190 Logic Synthesis “Binary Decision Diagrams” BDDs