Zocalo Tech has added new assertion-based verification capabilities to the Zazz product family. The new options are Zazz Bird Dog, Zazz Metrics, Zazz Visual SVA and user-defined assertion library support. The capabilities 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, Zazz Metrics and Zazz Assertion Library Support are available now. Zazz Visual SVA will be available in October.