An R&D Centre at IIT Bombay


Lecture notes on Formal Methods

  • [FSVP course]Indian Institute of Technology, Bombay
  • [soc.ppt] Functional Verification of SoCs[ppt]


Embedded system