Jasper Design Automation has signed a long-term agreement with Advanced Micro Devices Inc. to place JasperGold formal verification technology in AMD design centers worldwide.
Tobin cited a recent example involving a complex, next-generation multicore processor design. Designers wanted to prove that resource starvation would never occur in a new logic design; high-level analysis for which simulation alone is often insufficient. Using JasperGold’s unique interactive proof and liveness property capabilities, AMD was able to prove very early that this would not occur, saving extensive simulation time and gaining confidence in the extensive proof that formal verification can provide.
