SAN FRANCISCO Jasper Design Automation has released a new version of the company's flagship formal verification product, JasperGold 4.0, as well as a "push button" version of JasperGold for assertion-based verification, JasperGold Express.
New capabilities in JasperGold 4.0 include implementation of the Property Specification Language (PSL) for formal verification, new high-performance formal proof engines, a redesigned user interface and a new graphical specification environment for visualizing and debugging properties, the company said.
Jasper (Mountain View, Calif.) said the verification features in JasperGold Express enable simulation users to leverage the assertions they have written for simulation, with the majority achieving 100 percent actual coverage. For difficult assertions, users can employ JasperGold's design tunneling capability to scale to 100 percent of actual coverage, the company said.
Jasper said JasperGold and JasperGold Express would be available during the third quarter. JasperGold Express is priced at $45,000 for a one-year time-based license. JasperGold is priced at $120,000 for a one-year time-based license.