EC444 Synthesis and Optimization of Digital Circuits

Course Name: 

EC444 Synthesis and Optimization of Digital Circuits

Programme: 

B.Tech (ECE)

Category: 

Programme Specific Electives (PSE)

Credits (L-T-P): 

(3-1-0) 4

Content: 

Introduction to Computer aided synthesis and optimization. Hardware Modeling. Advanced Boolean Algebra and Applications – Boolean functions, representations, Shannon co-factors, satisfiability and cover, Binary Decision Diagrams, Representing Boolean functions, ROBDD, ITE operator, Variable ordering- choice of variables, application of BDD to synthesize Boolean functions, Two level combinational logic optimization, Multiple level combinational optimization. Sequential logic optimization. Cell Library Binding. Algorithms for Technology mapping – Structural and Boolean matching, Simulation & Static Timing analysis - Event driven simulation – zero delay, unit delay and nominal delay simulation, Timing analysis at the logic level, Delay models, Delay graph, static sensitization, State of the art and future trends: System level synthesis.

References: 

Giovanni De Micheli, Synthesis and Optimization of Digital Circuits, McGraw Hill, 1994.
Srinivas Devadas, Abhijith Ghosh and Kurt Keutzer, Logic Synthesis, Kluwer Academic, 1998.
G. D. Hachtel and F. Somenzi, Logic Synthesis and Verification Algorithms, Kluwer Academic Publishers, 1996.
S. Hassoun and T. Sasao, (Editors), Logic Synthesis and Verification, Kluwer Academic publishers, 2002.

Department: 

Electronics and Communication Engineering(ECE)
 

Contact us

Dr. T. Laxminidhi,  Professor and Head, 
Department of E&C, NITK, Surathkal
P. O. Srinivasnagar,
Mangalore - 575 025 Karnataka, India.

  • Hot line: +91-0824-2473046

Connect with us

We're on Social Networks. Follow us & get in touch.