Verification Library Ensures Compliance Of OCP Interconnects

Nov. 15, 2007

Virtual platforms used for system-level design are only as good as the models they comprise. Thus, design teams devote considerable time to developing code for verifying these models. But thanks to a system-level verification library for OCP-base

David Maliniak

JEDA Technologies’ OCPchecker verification library comprehensively verifies OCP protocol correctness. The library enforces OCP compliance checking, pinpoints protocol violations, and collects functional coverage information under system-level simulation. Also, the library includes protocol property checks for OCP 2.2, OCP 2.1, and OCP 2.0. It’s extensible for users who wish to add new protocol checks as well. Additionally, an assertion debugging environment provides users with an assertion coverage report and analysis.

The new JEDA OCPchecker is available immediately. Contact JEDA Technologies directly for pricing.

JEDA Technologies
www.jedatechnologies.com

About the Author

David Maliniak | MWRF Executive Editor

In his long career in the B2B electronics-industry media, David Maliniak has held editorial roles as both generalist and specialist. As Components Editor and, later, as Editor in Chief of EE Product News, David gained breadth of experience in covering the industry at large. In serving as EDA/Test and Measurement Technology Editor at Electronic Design, he developed deep insight into those complex areas of technology. Most recently, David worked in technical marketing communications at Teledyne LeCroy. David earned a B.A. in journalism at New York University.