Event Detail
Title: Deploying Formal: When and Where?
Type: Pavilion Panel
Track: Verification and Test
Day:
Tuesday
Time: 2:00 PM - 3:00 PM
Room: Booth 6360
Organizers: F. Bacchini - Francine Bacchini, Inc.
Moderator: L. Fix - Intel
Speakers: J. Michelson - Cisco, L. Loh - Jasper, P. Chatterjee - NVIDIA
Abstract: Companies are embracing functional formal verification to ensure greater verification productivity, predictability and verification reuse. Advantages are gained by understanding the types of design best suited for formal verification, and where in the flow this technology should be applied. With an understanding of the characteristics of areas with high formal applicability, users can identify which blocks, portions or functionalities of the blocks will give the greatest return. Formal verification experts share their insights in deploying formal - when and where - for best results.
