| "NVIDIA has relied successfully
on JasperGold for a number of years in our end-to-end
full proof flow, where we have been able to guarantee
correctness of some of our most complex designs.
Based on these early successes, Jasper's superior
customer support, and the unique scalability of
the tool from property verification to full-proof,
NVIDIA has deployed JasperGold for property verification
of next generation GPU chips." |
| |
 |
Dan Smith
Hardware Engineering NVIDIA
CORPORATION |