Hardware model checking: Status, challenges, and opportunities

It´s been nearly 30 years since Model Checking was first proposed as a method to validate hardware designs. Since then there has been considerable progress in this area and an active research community has grown around it. While areas like Software Model Checking and Hybrid Systems Model Checking are thriving, it seems there hasn´t been much progress or activity in the area of Hardware Model Checking (HMC) itself lately. This panel will examine the current status of HMC, what further challenges and opportunities exist going forward and what can be done to give a fresh impetus to the area. The panel will broadly have three sections 1) Taking stock of the area, 2) Challenges to wider industrial adoption, and 3) How to renew interest in HMC? Each section will have multiple talking points which will serve as guides for the panelists in taking their positions.