JasperGold Verification System 4.1 Delivers Systematic Formal Verification to the SystemVerilog Community; New Release Supports Full Formal Verification of SystemVerilog Assertions and Improves Verification Productivity.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(R) Verification System 4.1, a new release of the company's flagship formal verification solution. JasperGold System 4.1 includes a robust implementation of the SystemVerilog Assertion (SVA SVA School of Visual Arts SVA Severe (Thunderstorm) Advisory SVA Statens Veterinärmedicinska Anstalt (National Veterinary Institute, Sweden) SVA Shareholder Value Added ) language for formal verification, significant improvements to the automation of the formal process, and a major increase of new content in Formal Testplanner, Jasper's knowledgebase of verification IP, strategies and methodology. With industry-leading verification and debugging support for the Property Specification Language (PSL 1. PSL - Portable Standard Lisp. 2. PSL - Problem Statement Language. See PSL/PSA. ), SVA, OVL OVL Oval (street type) OVL Open Verification Library OVL Program Overlay (File Name Extension) OVL Oxford Vehicle Leasing (UK) OVL Officier Vlieger , Verilog and VHDL (VHSIC Hardware Description Language) A hardware description language (HDL) used to design electronic systems at the component, board and system level. VHDL allows models to be developed at a very high level of abstraction. , JasperGold System 4.1 delivers faster, easier, and more complete systematic verification for virtually all hardware design environments. "Industry-standard assertion languages like SVA are accelerating the adoption of full formal verification solutions among verification teams worldwide," said Craig Cochran, vice president of marketing at Jasper Design Automation. "JasperGold Verification System's excellent implementations of SVA and PSL for formal verification help design and verification teams find and remove bugs faster and easier, and ensure absolute correctness where it matters most." Robust Formal SVA Implementation SystemVerilog usage is growing rapidly in North America North America, third largest continent (1990 est. pop. 365,000,000), c.9,400,000 sq mi (24,346,000 sq km), the northern of the two continents of the Western Hemisphere. and Japan. The SVA language is being used primarily in dynamic simulation Dynamic Simulation is similar to a physics engine, the technology used in many powerful computer graphics software programs, like 3ds Max, Maya, Lightwave, and many others to simulate physical characteristics. to improve observability for debugging. By supporting SVA, Jasper provides SystemVerilog simulation users a smooth migration path to systematic formal verification, where they can now target the most critical parts of their designs to ensure correctness to the spec. Jasper's SVA implementation was developed by the same team which delivered its highly tuned formal support for the property specification language (PSL). "The formal method is an important component for verifying advanced designs at Sun," said Catherine Ahlschlager, hardware manager, Formal Technologies Group at Sun Microsystems Sun Microsystems, Inc. (NASDAQ: JAVA[3]) is an American vendor of computers, computer components, computer software, and information-technology services, founded on 24 February 1982. . "We are working with Jasper to deploy formal verification of SystemVerilog Assertions to prove deep corner cases of our designs." Improvements in Automation and Capacity JasperGold System 4.1 also includes significant improvements that promote rapid interactive generation of verification constraints, improve 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. verification capacity, and simplify the handling of complex state devices that would otherwise result in extended run times in other tools. These improvements help to improve productivity, capacity and performance in the verification process, resulting in reduced schedules and higher standards of verification completeness. Expanded Formal Verification IP and Language Support Formal Testplanner, Jasper's knowledgebase of verification IP, strategies and methodology, has been enhanced with major new content in support of the new language standards, as well as new chapters on several design types. Formal Testplanner now includes Introductions to PSL and SVA, a formal verification tutorial, and new Parameterizable Property Macros (PPMs), which simplify the creation of powerful high-level properties. Additionally, it contains new chapters on verifying cache controllers, SDR See software defined radio. memory controllers, DDR (Double Data Rate) Refers to an SDRAM memory chip that increases performance by doubling the effective data rate of the frontside bus. For more details, see SDRAM. DDR - Double Data Rate Random Access Memory and DDR2 memory controllers, and OCP-IP interface compliance. Availability JasperGold Verification System 4.1 is now available. 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, JasperGold Verification System, is the first verification product to deliver complete systematic verification, 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 fast, unique 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 ensure guaranteed correctness where it matter most, and improve verification productivity, predictability and verification reuse, please visit http://www.jasper-da.com. Jasper Design Automation, the Jasper Design Automation logo, JasperGold and Formal Testplanner are trademarks or registered 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