32-Bit RISC-V Embedded Processor and Subsystem, Maps ARM M-0 to M-4. Optimal PPA,
Imagination Technologies Selects Synopsys as Advanced Verification Technology Partner
Multi-year Collaboration Results in Deployment of Synopsys' Advanced Formal Debug Technology for Verification of PowerVR Graphics Intellectual Property (IP) Cores
MOUNTAIN VIEW, Calif., Jan. 30, 2013 -- Synopsys, Inc. (NASDAQ: SNPS), a global leader providing software, IP and services used to accelerate innovation in chips and electronic systems, today announced Imagination Technologies has deployed Synopsys' C–to-RTL formal consistency checking technology, named HECTOR, to verify its PowerVR family of semiconductor IP cores for graphics, video and display processing applications. Following a multi-year collaboration with Synopsys, Imagination Technologies is utilizing HECTOR to enhance its verification environment with the ability to verify and debug corner cases.
"Synopsys' HECTOR technology has enabled us to perform formal equivalence checking between system-level models and RTL over a range of complex PowerVR cores," said Martin Ashton, vice president of Imagination's PowerVR IP engineering group. "The HECTOR technology has allowed us to complete formal verification in minutes, where exhaustive techniques would have been impractical. As a result, HECTOR has enabled us to significantly improve the design verification capabilities within our PowerVR GPU team. We anticipate using HECTOR across all our IP design groups, while, thanks to our close and creative engagement with Synopsys' HECTOR R&D team, we continue to explore new applications of this exciting technology."
"With the increasing complexity of system-on-chips (SoCs), next-generation verification technologies are essential to more effectively manage SoC quality, schedule and cost," said Manoj Gandhi, senior vice president and general manager of the Synopsys Verification Group. "We are delighted to have such close R&D level collaborations with Imagination Technologies, a leading innovator in the industry, enabling us to deliver ground-breaking technologies that address growing verification challenges."
Multimedia applications involve complex algorithmic functional blocks requiring their behavior to be modeled in high-level languages such as C, and subsequently ensuring that the implemented RTL description is functionally equivalent. Conventional simulation-based verification of these design elements can be time-consuming and is likely to miss corner-case design bugs that would manifest only in the SoC where the IP core becomes embedded. With HECTOR, design teams are able to exhaustively verify all combinations of inputs and gain a high level of confidence in the quality of their IP blocks.
About Synopsys
Synopsys, Inc. (Nasdaq:SNPS) accelerates innovation in the global electronics market. As a leader in electronic design automation (EDA) and semiconductor IP, its software, IP and services help engineers address their design, verification, system and manufacturing challenges. Since 1986, engineers around the world have been using Synopsys technology to design and create billions of chips and systems. Learn more at www.synopsys.com.
|
Synopsys, Inc. Hot Verification IP
Related News
- Imagination and Visidon partner for deep-learning-based super resolution technology IMG Series4 NNA enables advanced AI-based software to efficiently upscale images and videos
- Synopsys Delivers 100X Faster Formal Verification Closure for AI, Graphics, and Processor Designs
- Synopsys Delivers 10X Performance in Formal Property Verification with Breakthrough Machine Learning Technology
- SiFive Selects Synopsys Verification Continuum Platform for Advanced RISC-V Processor Designs
- Samsung SARC Selects Synopsys as Primary Verification Solution for Advanced Mobile Processor Designs
Breaking News
- Siemens collaborates with TSMC on design tool certifications for the foundry's newest processes and other enablement milestones
- Leveraging Cryogenics and Photonics for Quantum Computing
- Kalray Joins Arm Total Design, Extending Collaboration with Arm on Accelerated AI Processing
- Credo at TSMC 2024 North America Technology Symposium
- Cadence Reports First Quarter 2024 Financial Results
Most Popular
- Huawei Mate 60 Pro processor made on SMIC 7nm N+2 process
- Silicon Creations Reaches Milestone of 10 Million Wafers in Production with TSMC
- GUC provides 3DIC ASIC total service package to AI/HPC/Networking customers
- Analog Bits to Demonstrate Numerous Test Chips Including Portfolio of Power Management and Embedded Clocking and High Accuracy Sensor IP in TSMC N3P Process at TSMC 2024 North America Technology Symposium
- Alphawave Semi: FY 2023 and 2024 YTD Trading Update and Notice of Results
E-mail This Article | Printer-Friendly Page |