InfoCoBuild

Embedded Systems Design

Embedded Systems Design. Instructor: Prof. Anupam Basu, Department of Computer Science and Engineering, IIT Kharagpur. This course will introduce the fundamental requirements of embedded systems and the interaction between hardware and software in such systems. The course will discuss some basic steps of hardware design, introduce ASIPs, ASICs and FPGAs. Next, the students will be exposed to the very important issue of designing for less power consumption. Since many of the embedded systems will have real time constraints, basic issues of real time operating systems will be discussed. This will be followed by formal specification models and languages, mapping the specification to hardware and software components along with decisions on design tradeoffs and hardware software partitioning. Next, synthesis of hardware and software along with a few of the optimization techniques will be presented. The course will end with a brief overview of design verification methods that are adopted for embedded system design. (from nptel.ac.in)

Lecture 31 - Modeling and Specification I


Go to the Course Home or watch other lectures:

Lecture 01 - Introduction
Lecture 02 - Processors
Lecture 03 - General Purpose and ASIPs Processor
Lecture 04 - Designing a Single Purpose Processor
Lecture 05 - Optimization Issues
Lecture 06 - Introduction to FPGA
Lecture 07 - FPGA (cont.)
Lecture 08 - Behaviour Synthesis on FPGA using VHDL
Lecture 09 - Tutorial I
Lecture 10 - Tutorial II
Lecture 11 - Tutorial III
Lecture 12 - Tutorial IV
Lecture 13 - Sensors and Signals
Lecture 14 - Discretization of Signals and A/D Converter
Lecture 15 - Quantization Noise, SNR and D/A Converter
Lecture 16 - Arduino Uno
Lecture 17 - Arduino Uno (cont.), Serial Communication and Timer
Lecture 18 - Controller Design using Arduino
Lecture 19 - Tutorial V
Lecture 20 - Power Aware Embedded System I
Lecture 21 - Power Aware Embedded System II
Lecture 22 - SD and DD Algorithm
Lecture 23 - Parallel Operations and VLIW
Lecture 24 - Code Efficiency
Lecture 25 - DSP Application and Address Generation Unit
Lecture 26 - Real Time OS I
Lecture 27 - Real Time OS II
Lecture 28 - RMS Algorithm
Lecture 29 - EDF Algorithm and Resource Constraint Issue
Lecture 30 - Priority Inversion and Priority Inheritance Protocol
Lecture 31 - Modeling and Specification I
Lecture 32 - Modeling and Specification II
Lecture 33 - FSM and Statechart
Lecture 34 - Statechart and Statemate Semantics
Lecture 35 - Statecharts (cont.)
Lecture 36 - Program State Machines
Lecture 37 - SDL
Lecture 38 - Data Flow Model I
Lecture 39 - Data Flow Model II
Lecture 40 - Hardware Synthesis I
Lecture 41 - Hardware Synthesis II
Lecture 42 - Scheduling
Lecture 43 - Digital Camera Design
Lecture 44 - Digital Camera - Iterative Design
Lecture 45 - HW-SW Partitioning
Lecture 46 - Optimization I
Lecture 47 - Optimization II
Lecture 48 - Simulation
Lecture 49 - Formal Verification