Jasper Releases Two Property Synthesis Apps Targeted At Early RTL Qualification And Coverage-Driven RTL Verification
October 29, 2012, MOUNTAIN VIEW, Calif. – Jasper Design Automation, the leading provider of verification solutions based on state-of-the-art formal technology, has announced the availability of two new property synthesis Apps as part of the family of JasperGold Apps, which addresses a wide range of design and verification issues. The JasperGold® Structural Property Synthesis (SPS) App is used to detect and eliminate common functional design errors and ensure that code is clean before validation starts. JasperGold’s Behavioral Property Synthesis (BPS) App accelerates verification closure by leveraging both RTL and simulation information to find and fill coverage holes, thereby increasing functional coverage … Read More → "Jasper Releases Two Property Synthesis Apps Targeted At Early RTL Qualification And Coverage-Driven RTL Verification"

