EDN

Zocalo Tech, Inc. Introduces First EDA Tool Dedicated to Assertion Library Productivity

Dave Stevens, Vice President of Operations explains, “For designers the availability of assertion libraries has special importance since they address most designer assertion checker needs. Assertion ...
EDN

0-in moves assertion library toward interoperability

SAN JOSE, Calif. — Taking aim at the proliferation of incompatible assertion formats, 0-In Design Automation Inc. has announced a multifaceted “interoperability plan” that includes a partnership ...
Design-Reuse

Renesas Technology Integrates Mentor Graphics 0-In Assertion Synthesis for Assertion Based Verification Flow

WILSONVILLE, Ore., March 22, 2005- Mentor Graphics Corporation (Nasdaq: MENT) today announced that Renesas Technology Corp. completed a joint development effort that integrates the Mentor Graphics® ...
Design-Reuse

Case Study: Annotating OVL 2.0 with SVA Assertions

In this case study we attempt to annotate a subset of OVL 2.0 checkers using equivalent SVA properties. In doing so, we define the equivalence between checkers, or assertions, based on what input ...