In this video, Joe Hupcey ask to Kaushal Pathak of the Questa Formal GUI R&D team about the contrasting considerations for formal-centric vs. simulation-centric interaction design, as well as reconciling the competing requirements for making novice and expert formal users workflows’ efficient and effective.