SCHEME OF TEACHING AND EXAMINATION

M.TECH. - VLSI DESIGN & EMBEDDED SYSTEMS

I SEMESTER
Name of the Subject Teaching hours/week Duratio Marks for
n of Total
Course Subject
Lectu Practical Exa Mark
Code Code Tutori Exam I.A. s
re in m
al
Hours
10LVS1 10EC02
CMOS VLSI Design 4 2* - 3 50 100 150
1 1
10LVS1 10EC12
SoC Design 4 - 2 3 50 100 150
2 9
10LVS1 10EC03 Embedded Systems
4 2* - 3 50 100 150
3 7 Design
10LVS1 10EC13 VLSI Design
4 - 2 3 50 100 150
4 0 Verification
10LVS1 10ECxx
Elective-I 4 - 2 3 50 100 150
5 x
10LVS1
Seminar -- - 3 -- 50 -- 50
6
Total 20 4 9 15 300 500 800
*NOTE: Practicals carries 30 Marks and 20 Marks for Assignment
ELECTIVE – I
10LVS1 10EC0 Digital System Design Using 10LVS1 10EC0
ASIC Design
51 32 Verilog and SystemC 52 12
10LVS1 10EC0
Nanotechnology
53 54

I – SEMESTER (F)
CMOS VLSI DESIGN

Subject Code : 10EC021 IA Marks :

50
No. of Lecture Hours : 04 Exam :
/week Hours 03
Total no. of Lecture : 52 Exam :
Hours Marks 100

MOS Transistor Theory: n MOS / p MOS transistor, threshold voltage equation, body
effect, MOS device design equation, sub threshold region, Channel length modulation.
mobility variation, Tunneling, punch through, hot electron effect MOS models, small signal
AC Characteristics, CMOS inverter, βn / βp ratio, noise margin, static load MOS inverters,
differential inverter, transmission gate, tristate inverter, BiCMOS inverter.
CMOS Process Technology: Lambda Based Design rules, scaling factor, semiconductor
Technology overview, basic CMOS technology, p well / n well / twin well process. Current
CMOS enhancement (oxide isolation, LDD. refractory gate, multilayer inter connect) ,
Circuit elements, resistor , capacitor, interconnects, sheet resistance & standard unit
capacitance concepts delay unit time, inverter delays , driving capacitive loads, propagate
delays, MOS mask layer, stick diagram, design rules and layout, symbolic diagram, mask
feints, scaling of MOS circuits.

Basics of Digital CMOS Design: Combinational MOS Logic circuits-Introduction, CMOS

logic circuits with a MOS load, CMOS logic circuits, complex logic circuits, Transmission
Gate. Sequential MOS logic Circuits - Introduction, Behavior of hi stable elements, SR latch
Circuit, clocked latch and Flip Flop Circuits, CMOS D latch and triggered Flip Flop.
Dynamic Logic Circuits - Introduction, principles of pass transistor circuits, Voltage boot
strapping synchronous dynamic circuits techniques, Dynamic CMOS circuit techniques

CMOS Analog Design: Introduction, Single Amplifier. Differential Amplifier, Current

mirrors, Band gap references, basis of cross operational amplifier.

Dynamic CMOS and clocking: Introduction, advantages of CMOS over NMOS,

CMOS\SOS technology, CMOS\bulk technology, latch up in bulk CMOS., static CMOS
design, Domino CMOS structure and design, Charge sharing, Clocking- clock generation,
clock distribution, clocked storage elements.

REFERENCE BOOKS:

Neil Weste and K. Eshragian, “Principles of CMOS VLSI Design: A System Perspective,”
2nd edition, Pearson Education (Asia) Pte. Ltd., 2000.
Wayne, Wolf, “Modern VLSI design: System on Silicon” Pearson Education”, Second
Edition
Douglas A Pucknell & Kamran Eshragian , “Basic VLSI Design” PHI 3rd Edition (original
Edition – 1994)
Sung Mo Kang & Yosuf Lederabic Law, “CMOS Digital Integrated Circuits: Analysis
and Design”, McGraw-Hill (Third Edition)

SoC Design

Subject Code : 10EC129 IA Marks :

50
No. of Lecture Hours : 04 Exam :
/week Hours 03
Total no. of Lecture : 52 Exam :
Hours Marks 100

Goal of the course – Today, VLSI chips are entire “system-on-chip” designs, which include
processors, memories, peripheral controllers, and connectivity sub-systems. The course aims
to provide an appreciation for the motivation behind SoC design, the challenges of SoC
design, and the overall SoC design flow.
Motivation for SoC Design - Review of Moore’s law and CMOS scaling, benefits of
system-on-chip integration in terms of cost, power, and performance. Comparison on System-
on-Board, System-on-Chip, and System-in-Package. Typical goals in SoC design – cost
reduction, power reduction, design effort reduction, performance maximization. Productivity
gap issues and the ways to improve the gap – IP based design and design reuse.

Embedded Processors – microprocessors, microcontrollers, DSP and their selection criteria.

Review of RISC and CISC instruction sets, Von-Neumann and Harward architectures, and
interrupt architectures.

Embedded Memories – scratchpad memories, cache memories, flash memories, embedded

DRAM. Topics related to cache memories. Cache coherence. MESI protocol and Directory-
based coherence.

Hardware Accelerators in an SOC – comparison on hardware accelerators and general-

purpose CPU. Accelerators for graphics and image processing.
Typical peripherals in an SoC – DMA controller, USB controller.

Interconnect architectures for SoC. Bus architecture and its limitations. Network on Chip
(NOC) topologies. Mesh-based NoC. Routing in an NoC. Packet switching and wormhole
routing.

Mixed Signal and RF components in an SoC. Sensors, Amplifiers, Data Converters, Power
management circuits, RF transmitter and receiver circuits.

SoC Design Flow. IP design, verification and integration, hardware-software codesign,

power management problems, and packaging related problems.

Reference Books

Sudeep Pasricha and Nikil Dutt,”On-Chip Communication Architectures: System on Chip Interconnect”,
Morgan Kaufmann Publishers © 2008
Henry Chang et al., “Surviving the SOC revolution: a guide to platform-based design”,
Kluwer (Springer), 1999
Frank Ghenassia,”Transaction Level Modeling with SystemC: TLM Concepts and Applications for
Embedded Systems”, Springer © 2005 (281 pages), ISBN:9780387262321
Luca Benini and Giovanni De Micheli,”Networks on Chips: Technology and Tools”, Morgan
Kaufmann Publishers © 2006 (408 pages), ISBN:9780123705211,

EMBEDDED SYSTEM DESIGN

 Subject Code : 10EC037 IA Marks :
50
No. of Lecture Hours : 04 Exam :
/week Hours 03
Total no. of Lecture : 52 Exam :
Hours Marks 100

Typical Embedded System : Core of the Embedded System, Memory, Sensors and
Actuators, Communication Interface, Embedded Firmware, Other System Components
Characteristics and Quality Attributes of Embedded Systems

Hardware Software Co-Design and Program Modelling: Fundamental Issues in Hardware

Software Co-Design, Computational Models in Embedded Design, Introduction to Unified
Modelling Language, Hardware Software Trade-offs

Embedded Firmware Design and Development: Embedded Firmware Design Approaches,

Embedded Firmware Development Languages
Real-Time Operating System (RTOS) based Embedded System Design.

Operating System Basics, Types of OS, Tasks, Process and Threads, Multiprocessing and
Multitasking, Task Scheduling, Threads, Processes and Scheduling: Putting them altogether,
Task Communication, Task Synchronization, Device Drivers, How to Choose an RTOS

The Embedded System Development Environment: The Integrated Development

Environment (IDE), Types of Files Generated on Cross-compilation,
Disassembler/Decompiler, Simulators, Emulators and Debugging, Target Hardware
Debugging, Boundary Scan.

Trends in the Embedded Industry : Processor Trends in Embedded System, Embedded OS

Trends, Development Language Trends, Open Standards, Frameworks and Alliances,
Bottlenecks.

Reference Books:
Introduction to Embedded Systems, Shibu K V, Tata McGraw Hill Education Private
Limited, 2009
Embedded Systems – A contemporary Design Tool, James K Peckol, John Weily, 2008.

REFERENCE BOOKS:

Raj Kamal, “Embedded systems Architecture, Programming and Design”, TMH.

J. W. Valvano, “Embedded Microcomputer system – Real time Interfacing”, Thomson
Learning Publishing
Jane W. S., Liu, “Real Time Systems”, Pearson Education Asia Pub

VLSI Design Verification

Subject Code : 10EC130 IA Marks :

50
No. of Lecture Hours : 04 Exam :
/week Hours 03
 Total no. of Lecture : 52 Exam :
Hours Marks 100

Today, the complexity of the VLSI integrated circuits that are being designed is so large that
pre-silicon verification presents a major challenge to the design team. The fact that IP from
multiple sources are integrated today to create a system-on-chip design further complicates
the matter. Simulation based verification techniques that were developed in the past are
considered inadequate to-day, since they require too many test cases and require too much
development time and run-time. Raising the level of abstraction to design can help bring
down the simulation cost. Formal specification and verification techniques are another way to
address the challenge of design verification.

Importance of Design Verification: In the SoC Design context. SoC Design flow and the
role of Design Verification in the flow. Difference between verification, testing, and post-
silicon validation. Why is pre-silicon verification required? Types of Design Verification -
Functional Verification, Performance Verification. Simulation, Emulation, Formal and Semi-
formal verification.

System-level Verification: System-level test benches and their merits. Applying system-
level test benches, Emulation, hardware acceleration.

Block-level Veriifcation. Functional Verification through simulation. Whitebox, blockbox

and Graybox testing. Coverage Metrics and code coverage analysis. Creating testbenches in
Verilog/.VHDL Programming Language Interfaces (PLI). Formal checking of blocks –
linting and formal model checking. Examples.

Design Representation: Creating hardware models. Verilog and VHDL models. SPICE
models for Analog circuits.

Analog and Mixed-Signal Verification. Using SPICE for simulation.

Simulation: Event based and cycle based simulation. Speeding up of simulation through
hardware accelerators. Rigid Prototyping. FPGA as Logic Emulators.

Static Timing Verification. Concept of static timing analysis. Timing constraints, timing
models, critical path analysis, false paths.

Physical Design Verification. Layout rule checks and electrical rule checks. Parasitic
extraction. Antenna, cross talk and reliability checks.

IP-Reuse in modern-day SoC. SoC Integration and the problem of verification of IP-based
designs. Verification IP and their importance.

Formal Verification: Techniques for FSM Models: Models Checking and Formal Engines.
SAT Solvers, BDDs, Symbolic Model Checking with BDDs, Model Checking using SAT,
Equivalence Checking.

Reference Books:
Prakash Rashinkar, Peter Paterson and Leena Singh “System – on – a - Chip Verification –
Methodology and Techniques” , Kulwer Publishers, 2001.
“An excellent source for instructors for Formal Verification techniques” (website developed
by) Prof. V. Narayanan, Penn State University, USA.
http://www.cse.psu.edu/~vijay/verify/instuctors.html
S. Minato “ Binary Decision Diagram and Applications for VLSI CAD”, Kulwer
Academic Pub. November 1996.
Edmund M Clarke, O. Grumberg & D. Long “Model Checking”,.

Conference Proceedings:
DVCON – Design Verification Conference is exclusively devoted to the topic of Design
Verification.
Design Automation Conference (DAC)
International Conferences on Computer Aided Design (ICCAD)
Formal Methods in Computer Aided Design (FMCAD)
Computer Aided Verification (CAV).

ELECTIVE – I

DIGITAL SYSTEM DESIGN USING VERILOG

Subject Code : 10EC121 IA Marks :

50
No. of Lecture Hours : 04 Exam :
/week Hours 03
Total no. of Lecture : 52 Exam :
Hours Marks 100

Introduction and Methodology:

Digital Systems and Embedded Systems, Binary representation and Circuit Elements, Real-
World Circuits, Models, Design Methodology.

Combinational Basics:
Boolean Functions and Boolean Algebra, Binary Coding, Combinational Components and
Circuits, Verification of Combinational Circuits.

Number Basics:
Unsigned and Signed Integers, Fixed and Floating-point Numbers.

Sequential Basics: Storage elements, Counters, Sequential Datapaths and Control, Clocked
Synchronous Timing Methodology.

Memories: Concepts, Memory Types, Error Detection and Correction.

Implementation Fabrics: ICs, PLDs, Packaging and Circuit Boards, Interconnection and
Signal Integrity.

Processor Basics: Embedded Computer Organization, Instruction and Data,

Interfacing with memory.
I/O interfacing: I/O devices, I/O controllers, Parallel Buses, Serial Transmission, I/O
software.
Accelerators: Concepts, case study, Verification of accelerators.

Design Methodology: Design flow, Design optimization, Design for test,

Refernces:
“Digital Design: An Embedded Ssytems Approach Using VERILOG”, Peter J. Ashenden,
Elesvier, 2010.

NANOELECTRONICS

Subject Code : 10EC054 IA Marks :

50
No. of Lecture Hours : 04 Exam :
/week Hours 03
Total no. of Lecture : 52 Exam :
Hours Marks 100

Shrink-down Approaches: Introduction, CMOS Scaling, The nanoscale MOSFET, Finfets,

Vertical MOSFETs, limits to scaling, system integration limits (interconnect issues etc.),
Resonant Tunneling Transistors, Single electron transistors, new storage, optoelectronic, and
spintronics devices.

Atoms-up Approaches: Molecular electronics involving single molecules as electronic

devices, transport in molecular structures, molecular systems as alternatives to conventional
electronics, molecular interconnects; Carbon nanotube electronics, band structure &
transport, devices, applications.

REFERENCE BOOKS:

C.P. Poole Jr., F.J. Owens, “Introduction to Nanotechnology”, Wiley (2003).

Waser Ranier, “Nanoelectronics and Information Technology” (Advanced Electronic
Materials and Novel Devices), Wiley-VCH (2003)
K.E. Drexler, “Nano systems”, Wiley (1992)
John H. Davies, “The Physics of Low-Dimensional
Semiconductors”, Cambridge University Press, 1998
Research Papers

ASIC DESIGN

Subject Cod : 10EC012 IA Marks :

50
No. of Lecture Hours : 04 Exam :
/week Hours 03
Total no. of Lecture : 52 Exam :
Hours Marks 100
Note All Designs Will Be Based On VHDL

Introduction: Full Custom with ASIC, Semi custom ASICS, Standard Cell based ASIC,
Gate array based ASIC, Channeled gate array, Channel less gate array, structured get array,
Programmable logic device, FPGA design flow, ASIC cell libraries
Data Logic Cells: Data Path Elements, Adders, Multiplier, Arithmetic Operator, I/O cell,
Cell Compilers

ASIC Library Design: Logical effort: practicing delay, logical area and logical efficiency
logical paths, multi stage cells, optimum delay, optimum no. of stages, library cell design.

Low-Level Design Entry: Schematic Entry: Hierarchical design. The cell library, Names,
Schematic, Icons & Symbols, Nets, schematic entry for ASIC’S, connections, vectored
instances and buses, Edit in place attributes, Netlist, screener, Back annotation

Programmable ASIC: programmable ASIC logic cell, ASIC I/O cell

A Brief Introduction to Low Level Design Language: an introduction to EDIF, PLA Tools,
an introduction to CFI designs representation. Half gate ASIC. Introduction to Synthesis and
Simulation;

ASIC Construction Floor Planning and Placement And Routing: Physical Design, CAD
Tools, System Partitioning, Estimating ASIC size, partitioning methods. Floor planning tools,
I/O and power planning, clock planning, placement algorithms, iterative placement
improvement, Time driven placement methods. Physical Design flow global Routing, Local
Routing, Detail Routing, Special Routing, Circuit Extraction and DRC.

EFERENCE BOOKS:

M.J.S .Smith, - “Application - Specific Integrated Circuits” – Pearson Education, 2003.

Jose E.France, Yannis Tsividis, “Design of Analog-Digital VLSI Circuits for
Telecommunication and signal processing”, Prentice Hall, 1994.
Malcolm R.Haskard; Lan. C. May, “Analog VLSI Design - NMOS and CMOS”, Prentice
Hall, 1998.
Mohammed Ismail and Terri Fiez, “Analog VLSI Signal and Information Processing”,
McGraw Hill, 1994.