| Course Code: CS1215 Course Name: Digital Design Prerequisites: Nil Syllabus: Review of Boolean algebra and logic minimization; Design of combinational logic blocks: Multiplexers, Demultiplexers, Encoder, Decoder, Adders, Multipliers, etc., Design using combinational datapath blocks; Reduced Ordered Binary Decision diagram (ROBDD): Effect of variable ordering, canonicity, ROBDD construction from Boolean function; And-Inverter Graphs (AIGs): Definition, properties, non-canonicity, Boolean operations on AIGs, Rewrites, strash and fraig in AIGs; Sequential circuit design: flip-flops, FSM, registers, counters, state tables and diagrams, state minimization, excitation functions of memory elements, synthesis of synchronous sequential circuits; Register transfer level (RTL) Design: Datapath and Controller design from high-level behaviour, Representation and synthesis using ASM charts; Designing using hardware description languages (HDLs); Basics of FPGA architecture; Texts: 1. Z. Kohavi and N. Jha, Switching and Finite Automata Theory, 3rd Ed., Cambridge University Press, 2010. 2. M. M. Mano and M. D. Ciletti, Digital Design, 4th Ed., Pearson Education. References: 1. R. H. Katz and G. Borriello, Contemporary Logic Design, 2nd Ed., Prentice Hall of India. 2. J. F. Wakerly, Digital Design Principles and Practices, 4th Ed., Prentice Hall of India, 2008. 3. F. Vahid, Digital Design, 1st Ed., Wiley India, 2011. 4. Giovanni De Micheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill Higher Education, 1994. 5. S. Palnitkar, Verilog HDL: A Guide to Digital Design and Synthesis,Pearson, 2nd Ed, 2003. 6. A VHDL Primer, PHI Learning, 3rd Ed, 2009. Research Papers: A. Kuehlmann, M. K. Ganai and V. Paruthi, `Circuit-based Boolean reasoning,` Proceedings of the 38th Design Automation Conference, 2001. |