USB2.0 OTG PHY supporting UTMI+ level 3 interface - 28HK/55LL
Synopsys Donates Library of Advanced SystemVerilog Assertion Checkers to Accellera Standards Organization
Checkers Proven to Accelerate Customer Adoption of SystemVerilog Assertions to Benefit Entire Industry
MOUNTAIN VIEW, Calif., July 26, 2006--Synopsys, Inc. (Nasdaq:SNPS), a world leader in semiconductor design software, today announced that it has donated a library of advanced SystemVerilog assertion checkers defined in the ARM-Synopsys Verification Methodology Manual (VMM) for SystemVerilog to Accellera, the electronic design automation (EDA) organization focused on EDA standards. Provided as SystemVerilog source code, the checkers included in this library have been widely used by design and verification engineers for the past few years to add SystemVerilog assertions (SVA) to their designs more quickly and more easily, enhancing engineering productivity. In addition, extensive functional coverage information within each checker has provided them with automatic enhancements to existing coverage metrics, fostering a more predictable verification process.
"As the SystemVerilog leader, Synopsys has provided its customers with advanced assertion checkers for several years to enable higher designer productivity and faster adoption of assertion-based verification," said Manoj Gandhi, senior vice president and general manager of the Verification Group at Synopsys, Inc. "Synopsys' donation to Accellera puts these proven checkers on a path to become an industry standard so that even more design and verification teams can achieve similar productivity benefits."
The donated library contains 20 unique assertion checkers, entirely complementary to Accellera's current OVL of assertion monitors. These checkers are used by designers and verification engineers to capture key attributes of their RTL designs. They are easy to use because they correspond directly to widely-used design elements such as arbiters, FIFOs, memories, registers, and handshake interfaces. For example, an engineer can simply connect the "assert_arbiter" checker directly to the request and grant lines of an arbiter, without having to consider which specific assertions and functional coverage points might be appropriate for arbitration logic. This reduces hours or days of effort down to a simple five-minute task to instantiate the checker. These checkers can be used with designs expressed in SystemVerilog, Verilog, VHDL, or mixed-language RTL.
"We are certainly in favor of assertion checkers, as they help SoC designers to complete their verification work more quickly" said Mike Turpin, chair of Accellera's OVL Technical Subcommittee and principal validation engineer at ARM. "Synopsys' donation of these additional checkers to become part of the OVL industry-standard library is to be applauded."
"The success of Accellera's OVL has shown that the industry benefits from a standard library to get 'jump-started' when adding assertions to their designs," said Shrenik Mehta, chairman of the board at Accellera. "This donation will benefit the industry at large, while raising the bar of assertion checkers with valuable coverage capabilities. We are delighted that they have chosen to share their customer-proven library with the rest of the industry through Accellera."
The next meeting of the OVL technical committee will be soliciting user input at the Design Automation Conference (DAC) in San Francisco, CA. The OVL committee is responsible for adding new checkers and incorporating new donations into the OVL standard. Participation in the committee is open to all DAC attendees and interested parties. This event will be held at the Marriott Hotel, Golden Gate Room B2 in San Francisco, CA, on Wednesday, July 26, 2006, from 1:30 p.m. to 3:30 p.m.
About Synopsys
Synopsys, Inc. is a world leader in EDA software for semiconductor design. The company delivers technology-leading semiconductor design and verification platforms and IC manufacturing software products to the global electronics market, enabling the development and production of complex systems-on-chips (SoCs). Synopsys also provides intellectual property and design services to simplify the design process and accelerate time-to-market for its customers. Synopsys is headquartered in Mountain View, California and has offices in more than 60 locations throughout North America, Europe, Japan and Asia. Visit Synopsys online at www.synopsys.com.
|
Synopsys, Inc. Hot Verification IP
Related News
- Synopsys Donates Proven VMM Methodology Library and Applications to Accellera
- Synopsys Advances VCS Solution by Adding Assertion IP Library and Native Testbench Support for SystemVerilog
- Mentor Graphics Donation of SystemVerilog Assertion (SVA) Version of Open Verification Library Accepted by Accellera
- Synopsys Donates Key Verification Technologies to Accellera's SystemVerilog 3.1 Standard
- Synopsys SiliconSmart Library Characterization Solution Achieves Certification for TSMC N5, N4 and N3 Advanced Processes
Breaking News
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |