Zocalo Tech Introduces Assertion-Based Verification Capabilities

By DE Editors

Zocalo Tech, Inc., an electronic design automation (EDA) company focused on assertion-based verification (ABV) productivity software, has added four new capabilities to its Zazz  product family: Zazz Bird Dog, Zazz Metrics, Zazz Visual SVA, and user-defined assertion library support.

The new options are designed to simplify and support the adoption of an ABV methodology to improve electronic design and intellectual property (IP) quality and increase verification productivity.

Zazz Bird Dog analyzes the design and rank orders the most important candidate signals where assertions should be added.

Zazz Metrics provide the project team with an on-going progress report about the quantity and quality of the assertions added versus the target. Historical reports on completed functional blocks provide a baseline for measuring the value of using assertions to reduce debug time.

Zazz Visual SVA provides the ability to create and debug all levels of assertion complexity without learning the SVA language, according to the company. Visual SVA also provides dynamic controllability of assertions, automatic bind file management, and documentation.

Zazz Assertion Library Support makes using assertion libraries fast, according to the company, while providing automatic bind file management and documentation. In addition to supporting OVL and libraries from EDA vendors, user-defined assertion libraries can now be added to Zazz.

Zazz Bird Dog, Zazz Metrics and Zazz Assertion Library Support are available now. Zazz Visual SVA will be available in October.

For more information, visit Zocalo Tech, Inc.

Sources: Press materials received from the company and additional information gleaned from the company's website.