Introduction to Computer aided synthesis and optimization. Hardware Modeling. Advanced Boolean Algebra and Applications, 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 and hardware software co-design.