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

Zocalo Tech Introduces Assertion-Based Verification Capabilities to Improve IP and Electronic Design Quality

AUSTIN, TX-- May 6, 2010 - Zocalo Tech, Inc., an Electronic Design Automation (EDA) company focused on Assertion-Based Verification (ABV) productivity software, today announced that it has added four ...
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® ...