Chandan Karfa

January-April 2024 Semester

CS525: Formal Methods for System Verification

Past Semesters (Links for Intranet)

• 2024

  • Jan-April 2024 - CS577: C-Based VLSI Design

  • Jan-April 2024 - CS224: Hardware Lab

  • NPTEL/MOOC Course: Digital Design with Verilog

• 2023

  • Jan-April 2023 - CS577: C-Based VLSI Design

  • July-Nov 2023 - CS525: Formal Methods for System Verification

  • July-Nov 2023 - NPTEL/MOOC Course: C-Based VLSI Design

• 2022

  • July-Nov 2022 - CS 221: Digital Design (with Prof. H. K. Kapoor)

  • July-Nov 2022 - NPTEL/MOOC Course: C-Based VLSI Design

  • Jan-April 2022 - CS577: C-Based VLSI Design

  • May-June 2022 - CS 101: Introduction to Computing

• 2021

  • July-Nov 2021 - Digital Design (with Dr. A. Sahu)

  • Jan-April 2021 - CS577: C-Based VLSI Design

  • July-Nov 2021 - NPTEL/MOOC Course: C-Based VLSI Design

• 2020

  • July-Dec 2020 - CS221: Digital Design (with Dr. A. Sahu and Dr. S. Bhattacharjee)

  • Jan-July 2020 - CS577: C-Based VLSI Design

• 2019

  • July-Nov 2019 - CS513: Programming Lab (with Dr. A. Awekar)

  • July-Nov 2019 - CS593: Data Structures and Databases Lab (with Dr. A. Awekar)

  • July-Nov 2019 - CS591H: Data Structures and Algorithms (with Dr. A. Awekar)

  • Jan-April 2019 - CS 577: C-Based VLSI Design: Synthesis, Optimization and Verification

  • TEQIP III Course on C-Based VLSI Design: Synthesis, Optimization and Verification

• 2018

  • July-Nov 2018 - CS201 : Data Structure (with Dr. Amit Awekar)

  • July-Nov 2018 - CS210 : Data Structure Lab (with Dr. Amit Awekar)

  • Jan-April 2018 - CS526: CAD for VLSI

  • MOOC Course : Optimization Techniques for Digital VLSI Design

• 2017

  • July-Nov 2017 - CS201 : Data Structure

  • July-Nov 2017 - CS210 : Data Structure Lab

  • Jan-April 2017 - CS526: CAD for VLSI

  • Jan-April 2017 - CS223: Hardware Lab (with Dr. A. Sahu)

• 2016

  • July-Nov 2016 - CS201 : Data Structure

  • July-Nov 2016 - CS210 : Data Structure Lab