Press Release
JEDA Donates OCP Checker to OCP-IPUses JEDA’s NSCa Native SystemC Assertions PORTLAND, ORE. — 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. . |
