Jasper Design Automation has issued a call for papers for their annual user meeting. Jasper users are invited to submit proposals for case studies about using Jasper solutions in their designs. The Jasper User Group (JUG) is an interactive, in-depth technical conference, which focuses on the needs of the Jasper Design Automation user community with the primary goal being to deliver immediately useful technical content.
Jasper Design Automation will hold their annual user meeting November 12 -13, 2012. The Jasper User Group will gather designers, verification engineers and engineering managers from around the world to share the latest verification best practices. The event will take place at the Cypress Hotel in Cupertino, California.
Jasper Design Automation is seeking technical presentations for the Jasper User Group Meeting 2012. Jasper’s annual user meeting is an interactive, in-depth technical conference that focuses on the needs of the Jasper Design Automation user community. The primary goal is to deliver immediately useful technical content. This year’s event will take place November 12th and 13th in Cupertino, California.
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.
Jasper Design Automation announced Intelligent Proof Kits for accelerated certification of advanced SoC interconnect protocols. Jasper Intelligent Proof Kits ship unencrypted with original source code to facilitate user customization and insights into the protocols themselves. Jasper is initially releasing Intelligent Proof Kits for AMBA 3 and AMBA 4. DFI, DDR and LPDDR versions will roll out a little later.
Jasper Design Automation rolled out Proof Kits for the DFI (DDR-PHY) specification. The new DFI Proof Kits are currently available and provided at no additional charge to current licensees of Formal Testplanner. Other Jasper Proof Kits include AMBA 4 with AMBA 4 AXI, AXI-Stream and AXI-Lite interfaces; LPDDR1, LPDDR2, DDR, DDR2 and DDR3 SDRAM; AHB and AHB Lite; APB; Ethernet MDIO; OCP-IP; and PCI-Express.
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.
Jasper Design Automation rolled out Proof Kits for LPDDR1 and LPDDR2, and DDR3 SDRAM. The new LPDDR and DDR3 Proof Kits both speed verification for these high-demand memories, and ensure conformance with industry standards. The new DDR Proof Kits are currently available as a chapter within Jasper Formal Testplanner, and provided at no additional charge to current licensees of Formal Testplanner.