 |
DVCon Panel: Formal Verification from Users' Perspectives
Panelist:
Jon Michelson - NVIDIA
Ambar Sarkar - ParadigmWorks
Alan Hunter - ARM
|
| |
|
| |
| |
|
 |
John Goodenough discusses formal verification with Jasper at ARM |
|
|
|
 |
John Goodenough
V.P. of Design Technology and Automation
ARM |
|
|
| |
 |
Scott Meeth on using Jasper for RTL verification, protocol certification and post-silicon debug |
|
|
|
 |
Scott Meeth
Sr. Verification Engineer
NVIDIA |
|
|
| |
 |
Matt Hsu discusses formal verification and how Jasper has helped in a wide variety of verification contracts with major electronics companies. |
|
|
|
 |
Matt Hsu
Matthew A. Hsu Consulting |
|
|
| |
 |
Brian Bailey, verification guru and industry savant, comments on the advantages of Jasper Design Automation for formal verification. |
|
|
|
 |
Brian Bailey
Verification Guru
Techbites.com |
|
