New JasperGold 4.0 Delivers 100% Actual Coverage to ABV Users and Eases Migration to High-Level Requirements; Jasper Technology Wins Benchmarks in PSL Verification and Formal Engine Performance.MOUNTAIN VIEW, Calif. -- Jasper Design Automation, provider of breakthrough high-level formal verification
In the context of hardware and software systems, formal verification solutions, today announced JasperGold(TM) 4.0, a major new release of the company's flagship formal verification solution. Also introduced today was JasperGold Express, a new push-button (electronics) push-button - A roughly fingertip-sized plastic cover attached to a spring-loaded, normally-open switch, which, when pressed, closes the switch. Typical examples are the keys on a computer or calculator keyboard and mouse buttons. version of JasperGold for assertion-based verification (ABV ABV Above ABV Alcohol By Volume ABV Abuja, Nigeria (airport code) ABV Assault Breacher Vehicle ABV Accredited Business Valuation specialist ABV Auxiliary Building Ventilation ABV Annual Buy Value ABV Air Bleed Valve ), offering an easy-to-use, easy-to-adopt solution for simulation ABV users migrating to formal verification. The JasperGold 4.0 product line is the culmination of an integration of leading technologies from Jasper Design Automation and Safelogic Corporation, which Jasper acquired in January 2005, plus significant new development. New capabilities in the JasperGold 4.0 product line include the industry's strongest implementation of the Property Specification Language (PSL 1. PSL - Portable Standard Lisp. 2. PSL - Problem Statement Language. See PSL/PSA. ) for formal verification, new high-performance formal proof engines, a redesigned user interface improving ease-of-use, and a unique new graphical specification environment for visualizing and debugging (programming) debugging - The process of attempting to determine the cause of the symptoms of malfunctions in a program or other system. These symptoms may be detected during testing or use by real users. properties. JasperGold 4.0 delivers faster, easier, and more complete assertion-based verification, with the industry's only ability to scale to 100% actual coverage on difficult assertions and high-level requirements. The new push-button verification features in JasperGold Express enable simulation users to easily leverage the assertions they have written for simulation, with the majority achieving 100% actual coverage with simple push-button ease. For difficult assertions, which other ABV solutions cannot complete, users can employ JasperGold's unique Design Tunneling tunneling, quantum-mechanical effect by which a particle can penetrate a barrier into a region of space that would be forbidden by ordinary classical mechanics. capability to scale to 100% actual coverage. Once in place for formal ABV, the JasperGold solution provides an easy migration to full formal verification of designer-size blocks using high-level requirements. High-level requirements work like assertions -- but at a higher level -- so they cover much more of a design's functionality than any sum of lower-level assertions, and therefore, once proved, provide greater proof of correctness. "We see users migrating from simulation-based ABV solutions to formal solutions, only to find that not all their assertions can be 100% verified in other tools, and they don't get to choose which of their important assertions complete," said Kathryn Kranen, president and CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. at Jasper Design Automation. "In contrast, JasperGold's unique Design Tunneling enables the user to reach 100% actual coverage on the toughest assertions and high-level requirements. In addition, the combination of these products will provide a smooth, low-risk path from simulation-based ABV to full formal verification of blocks using high-level requirements." Industry's Strongest Formal PSL Implementation Jasper's PSL implementation, the industry's strongest for formal verification, leverages the work done by Safelogic in this area, which was recently ranked first out of seven solutions evaluated by a major European wireless equipment provider. "PSL is a rapidly burgeoning standard, but unfortunately there are many rudimentary rudimentary /ru·di·men·ta·ry/ (roo?di-men´tah-re) 1. imperfectly developed. 2. vestigial. ru·di·men·ta·ry adj. 1. and incomplete implementations in the market today," said Harry Foster, chairman of the IEEE-1850 PSL Committee and chief methodologist at Jasper Design Automation. "Jasper's Sweden team is widely recognized as having made major contributions to the development of the PSL standard, particularly as it relates to formal proof, and have developed the most comprehensive support of PSL in the formal industry." New Formal Engines Enable Fast Push-Button Verification JasperGold 4.0 brings to market several new internally developed formal proof engines, including one of the world's fastest formal engines as measured by an international technical competition. The new engines provide fast and efficient handling of simultaneous multiple assertions, enabling a rapid push-button assertion-based verification flow supported in both JasperGold and JasperGold Express. In addition, JasperGold's graphical user interface graphical user interface (GUI) Computer display format that allows the user to select commands, call up files, start programs, and do other routine tasks by using a mouse to point to pictorial symbols (icons) or lists of menu choices on the screen as opposed to having to has been overhauled to support PSL-style grouping of properties for enhanced performance and easy management of assertion tracking. JasperGold also now features a new graphical capability for graphical waveform The shape of a signal. See wavelength, sine wave and square wave. visualization and debug To correct a problem in hardware or software. Debugging software means locating the errors in the source code (the program logic). Debugging hardware means finding errors in the circuit design (logical circuits) or in the physical interconnections of the circuits. of properties. This unique feature enables the rapid development of validated properties prior to the start of RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; coding. Pricing and Availability JasperGold and JasperGold Express will be available in Q3 of this year. JasperGold Express is priced at $45,000 for a one-year time-based license. JasperGold, which includes all the functionality of JasperGold Express plus a floating Design Tunneling license, is priced at $120,000 for a one-year time-based license. About Jasper Design Automation Jasper Design Automation is a privately held Electronic Design Automation (EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. ) company with a mission of making full formal IC verification a competitive advantage for its customers. The company's flagship product A primary product of a company, which is typically why the company was founded and/or what made it well known. For example, MS-DOS, Windows and the Microsoft Office suite have been flagship products of Microsoft. CorelDRAW is a flagship product of Corel Corporation. , JasperGold(TM), is the first verification product to deliver 100% actual coverage, and accomplishes this task within predictable, finite schedule constraints. JasperGold formally verifies that complex IC design blocks meet high-level requirements defined in their specifications, and also pre-verifies IP blocks for use under all usage modes, without any testbench development. JasperGold automatically isolates bugs with a unique, fast debugging capability. By isolating bugs earlier than simulation or formal-assisted simulation tools, and then proving the absence of bugs, JasperGold trims crucial months off design schedules. For further details on how to achieve 100% actual coverage, and improve verification productivity, predictability and verification reuse, please visit http://www.jasper-da.com. Jasper Design Automation, the Jasper Design Automation logo, JasperGold, PreCognitive pre·cog·ni·tion n. Knowledge of something in advance of its occurrence, especially by extrasensory perception; clairvoyance. pre·cog Engine, Design Tunneling and Jasper Formal Testplanner are trademarks of Jasper Design Automation, Inc. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion