32-Bit RISC-V Embedded Processor and Subsystem, Maps ARM M-0 to M-4. Optimal PPA,
Jasper Design Automation Joins Open Core Protocol International Partnership (OCP-IP)
"We developed the OCP proof kit by working with one of our key customers, who happens to be one of the largest users of the OCP in the world," said Craig Cochran, vice president of marketing at Jasper. "By joining OCP-IP, we can offer the strength of ensuring correct use of OCP under all possible usage scenarios to all customers. When combined with our unique end-to-end data integrity verification capability, the solution offers unparalleled capability to completely prove the correct transport of data."
"OCP-IP addresses problems relating to design, verification, and testing which are common to IP core reuse in plug and play SoC products," said Ian Mackintosh, president of OCP-IP. "Jasper's full formal verification of the OCP 2.1 interface socket via JasperGold Express and the OCP proof kit is a very important addition that provides our members assurance of compliance with the standard."
About Jasper Design Automation
Jasper Design Automation is a privately-held Electronic Design Automation (EDA) 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 systematic complete 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 achieve complete verification, and improve verification productivity, predictability and verification reuse, please visit http://www.jasper-da.com.
|
Related News
- STMicroelectronics, Inc. joins Open Core Protocol International partnership (OCP-IP)
- Renesas Mobile Corporation Enters Into Open Core Protocol International Partnership
- Open Core Protocol group (OCP-IP) snags Cadence
- Accellera Systems Initiative Acquires Open Core Protocol Standard and Infrastructure to Strengthen Interoperability in Electronic Standards Development
- Evatronix joins OCP-IP to provide designers with better design reusability and faster time-to-market
Breaking News
- Keysight, Synopsys, and Ansys Deliver Radio Frequency Design Migration Flow to TSMC's N6RF+ Process Node
- 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
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 |