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