Tag Archives: Jasper Design Automation

Jasper Design Automation Issues Call for Papers for JUG

Jasper Design Automation

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.

Continue reading

Jasper User Group to Take Place Next Month

Jasper User Group Meeting 2012

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.

Continue reading

Jasper Design Automation Issues Call for Technical Presentations

Jasper User Group Meeting 2012

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.

Continue reading

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

Jasper Intelligent Proof Kits for Interconnect Protocols Verification

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.

Continue reading

Jasper DFI Formal Verification Proof Kits for DDR-PHY Specification

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.

Continue reading

Jasper Design Automation ActiveDesign 2.0 and JasperGold 7.0

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.

Continue reading

Jasper Design Automation Formal Verification Proof Kits

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.

Continue reading