A CAL Tool to Aid the Understanding of Logic Synthesis

Even if nowadays the logic synthesis process is well defined in an industrial IC Automated Design Flow, it is important that students understand how the logic synthesis works. This paper describes CAL (Computer Aided Learning) tool to help the understanding a logic synthesis flow based on a data structure called ORBDDs. This synthesis flow allows to work over an input logic description and to observe the consequent transformations that occur in each step of the synthesis. The student can change some input parameters to experiment different synthesis solutions.

[1]  André Inácio Reis,et al.  A tutorial tool for switch logic , 2001, Proceedings 2001 International Conference on Microelectronic Systems Education.

[2]  C. Y. Lee Representation of switching circuits by binary-decision programs , 1959 .

[3]  R. Tavares,et al.  Logic circuits based on or-binary decision diagrams , 2000 .

[4]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[5]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.