Tag Archives: Property Synthesis

Jasper ActiveProp Property Synthesis

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.

Continue reading