ActiveProp, from Jasper Design Automation, is an innovative new property synthesis tool. ActiveProp helps accelerate the adoption of assertion-based verification, including formal verification and simulation. ActiveProp automates the creation of properties and produces high-quality results faster. ActiveProp improves verification efficiency for any assertion-based verification flow. ActiveProp is available now.
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.