Jasper Design Automation launched ActiveDesign version 2.0 and JasperGold version 7.0. The new versions share a common, persistent knowledge base. ActiveDesign and JasperGold work synergistically. Designers using ActiveDesign explore blocks, waveforms and their key behaviors, creating and archiving important information. ActiveDesign can then export properties (asserts, assumes, covers, in SVA and PSL) for transfer to other designers or verification teams using JasperGold.