JEDA Donates OCP Checker To OCP-IP; Uses JEDA's NSCa Native SystemC Assertions

MUNICH, Germany—(BUSINESS WIRE)—March 6, 2006— JEDA Technologies today announced that it has donated an assertion-driven SystemC based OCP compliance checker to OCP-IP. The checker is free to all OCP-IP members and is implemented based on the Compliance Checks released by OCP-IP.

The OCP checker is constructed using JEDA's NSCa (Native SystemC assertion) solution. It can be plugged into an existing SystemC modeling or verification framework with minimal effort. During a simulation, the checker monitors OCP interfaces, checks the protocol compliance and reports violation conditions on-the-fly. In addition, the assertion summary coverage information can be used to measure a testbench's OCP protocol coverage.

Users can download the free checker and a demo version of NSCa at www.jedatechnologies.net.

"We see a vision match between OCP-IP and JEDA in System Level design methodology where we can apply our innovative technology to OCP in the real world. JEDA is committed to support OCP-IP and will continue to actively participate and contribute in the OCP-IP System Level Design and the Verification working groups," said Eugene Zhang, President and CEO of JEDA Technologies.

"OCP has a robust, thriving infrastructure supported by numerous independent, leading-edge companies that provide excellent services and products," said Ian Mackintosh, president OCP-IP. "Through the support and donations of our member companies, such as JEDA Technologies, we continue to make available the latest tools and services necessary for convenient adoption, deployment and implementation of the OCP standard."

About NSCa

NSCa is a native C++ assertion product that easily integrates to SystemC and provides a natural verification extension to the current SystemC 2.1. NSCa facilitates the discovery of bugs at the system level design phase and assures functional models are correct before methods like high-level synthesis or system to RTL equivalence checking are used. This results in time and cost savings by speeding bug discovery at the system level before propagation to RTL.

About OCP-IP

The OCP International Partnership Association, Inc. (OCP-IP), formed in 2001, promotes and supports the Open Core Protocol (OCP) as the complete socket standard ensuring rapid creation and integration of interoperable virtual components. OCP-IP's Governing Steering Committee participants include: Nokia (NYSE:NOK), Texas Instruments (NYSE:TXN), Toshiba Semiconductor Group (including Toshiba America TAEC), and Sonics. OCP-IP is a non-profit corporation delivering the first fully supported, openly licensed, core-centric protocol comprehensively fulfilling system-level integration requirements. The OCP facilitates IP core reusability and reduces design time, risk, and manufacturing costs for SoC designs. VSIA endorses the OCP socket, and OCP-IP is affiliated with the VSI Alliance.

For additional background and membership information, visit www.OCPIP.org.

About JEDA Technologies

JEDA Technologies, founded in 2002, is the "System-Driven Verification Automation Company" focused on providing automation tools for SystemC based designs. The JEDA founding team, Eugene Zhang, CEO; Atsushi Kasuya, CTO and Chief Architect; and Teshager Tesfaye, Director of Product Development are the core team that invented Vera at Sun in 1993. Atsushi was the author of all of the original Vera patents. This is the third generation of verification automation tools developed by the JEDA team. The Los Altos team is augmented by a 17 person development team in Beijing, China. For more information, please visit www.jedatechnologies.com.

NSCa, JEDA and JEDA Technologies are trademarks of JEDA Technologies, Inc. All other tradenames and trademarks are the property of their respective owners.



Contact:
JEDA Technologies
Stephen R. Pollock, 650-964-5332

Email Contact

www.jedatechnologies.com



Review Article Be the first to review this article
Aldec

Featured Video
Latest Blog Posts
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Specification-Driven UVM Testbench Generation
Colin WallsEmbedded Software
by Colin Walls
malloc() – just say no
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
Invitation to Participate in VSDOpen2020
Jobs
Senior Application Engineer Formal Verification for EDA Careers at San Jose and Austin, California
Upcoming Events
SEMICON Taiwan 2020 Goes Hybrid! at United States - Sep 23 - 25, 2020
Robotics Summit & Expo at Hynes convention center Boston MA - Sep 24 - 25, 2020
EDI CON 2020 at CHINA NATIONAL CONVENTION CENTER BEIJING China - Sep 27 - 28, 2020
VSDOpen 2020 Online Conference at India - Oct 10, 2020
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers
TrueCircuits:



© 2020 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise