Formal techniques have become established as a key technology in the constant battle to contain spiralling verification effort. However, surprisingly only limited attention has been applied to layering formal directly into the simulation process. OneSpin will demonstrate at Verification Futures how close cooperation of formal and simulation that combines temporal and state-spaced verification solutions leads to rapid bug detection.
Verification Futures, held on February 5th in Reading and online, is a unique free one day conference, exhibition and industry networking event organised by TVS to discuss the challenges faced in hardware verification. The event gives the opportunity for end users to define their current and future verification challenges and collaborate with the vendors to create solutions.