Build a Learning Habit
Download Class Central's free printable study calendar
Download for Free
ABOUT THE COURSE:
Formal Verification is an essential tool for any Software and Hardware Industries. The industries spent more than 50% of the design cycle in verifying the functional correctness of the developed software/hardware. The techniques like Satisfiability (SAT) and model checking is the heart of those formal verification techniques used by the Industries. In this course, we will cover the fundamental theories of SAT and Model checking and take few case studies to explain its applications.
INTENDED AUDIENCE: BTech 3rd year and final year students in CSE and Related subjects. MTech/PhD students in CSE. Industry Professionals
INDUSTRY SUPPORT: Any Software and Semiconductor Industry who need formal verification of their software/designs.Microsoft, Google, Qualcomm, Nvedia, Samsung, Intel, Synopsys, Cadence, AMD, etc.
Formal Verification is an essential tool for any Software and Hardware Industries. The industries spent more than 50% of the design cycle in verifying the functional correctness of the developed software/hardware. The techniques like Satisfiability (SAT) and model checking is the heart of those formal verification techniques used by the Industries. In this course, we will cover the fundamental theories of SAT and Model checking and take few case studies to explain its applications.
INTENDED AUDIENCE: BTech 3rd year and final year students in CSE and Related subjects. MTech/PhD students in CSE. Industry Professionals
INDUSTRY SUPPORT: Any Software and Semiconductor Industry who need formal verification of their software/designs.Microsoft, Google, Qualcomm, Nvedia, Samsung, Intel, Synopsys, Cadence, AMD, etc.
