--:: JASPER ::--

In The News

Press Releases

Technical Articles

Events

Multimedia and Video

Press Releases

2010


June 02	Jasper Crosses the Design-to-Verification Chasm
May18	See Jasper Formal Verification in Action at DAC June 13-18, Booth 1337
April 20	Jasper’s Kathryn Kranen Re-Elected As EDAC Vice Chair
February 21	Jasper Releases New Formal Verification Proof Kits For LPDDR1, LPDDR2, And DDR3
February 19	Jasper ActiveDesign EDN Innovation Award Finalist
February 18	EASii IC Working With Jasper To Promote Formal Innovations In Europe
February 09	Jasper Design at DVCon: Showcasing Latest Formal Verification Advances, Participating in Prestigious Panel
January 28	Jasper ActiveDesign Named Hot 100 Product by EDN Magazine
January 14	Jasper Advanced Formal Solutions at EDSF – Adding Value Throughout Design Flow
January 12	Jasper Newest Formal Technology Coming to EDSF Jan. 28-29, Yokohama

2009


November 17	Jasper CEO Kathryn Kranen Speaking At IP-ESC 2009
November 04	Lawrence Loh Promoted to Vice President of Worldwide Applications Engineering at Jasper Design Automation
October 27	Jasper Chief Architect Ziyad Hanna Presenting At IEEE High-Level Design Conference Nov. 6, San Francisco
September 9	Jasper Design Automation and Chalmers University of Technology Receive Prestigious Swedish Research Council Grant For Joint, High-Level Verification Research Project
September 1	Jasper Names HASS Technology Distributor for China
Jul 13	Jasper Design Automation Introduces Multi-Proof JasperCore For Powerful, Scalable Formal Verification Deployment
Jun 25	Jasper DAC – A Formal Affair – Booth 3767
May 19	Jasper, ARM Selects Jasper for Formal Verification of IP
April 27	Across the Great Divide…
April 27	Jasper, AMD Ink Long-Term Formal Verification Deal
April 20	JasperGold Adds Proof Accelerators For Fast, Thorough Verification
April 17	Jasper Patent Speeds Debug During Verification
April 15	Jasper Announces University Program
March 25	Jasper Extends Formal Verification Technology Lead With Four New Patents in Portfolio
February 23	Jasper Design Automation Introduces Design Activation Services To Promote IP and Design Reuse, Driving Higher Customer ROI
February 18	Jasper Design Automation Raises $7 Million in Series D Funding
February 11	Jasper is EDN Innovation Finalist!
February 9	Jasper Design Automation Provides First North American Demonstrations of ActiveDesign™ with Behavioral Indexing™ at DVCon 2009
February 5	Holly Stump Joins Jasper Design Automation as Vice President of Marketing
January 27	Jasper Design Automation’s Rajeev Ranjan Presents Paper On Behavioral Indexing at DesignCon 2009
January 19	To subdue the enemy without fighting is the supreme excellence
January 19	Jasper Design Automation Announces ActiveDesign(tm) With Behavioral Indexing(tm) For Greater RTL Design Quality And Designer Productivity

2008


December 02	Kathryn Kranen To Deliver Keynote Address At IP008 In Grenoble On Breakthroughs In Design Reuse And IP Delivery
May 14	Jasper Design Automation Releases JasperGold® Verification System And JasperGold® Express Version 5.0 With 3X Higher Proof Capacity For Superior Formal Verification Performance
May 05	Jasper Design Automation Verifies Increasingly Complex SoCs With Growing Portfolio Of Innovative Formal Technology Patents
April 30	Jasper Design Automation Announces Demo Suite Demonstrations of Formal Verification Unleashed™ at the 45th Annual Design Automation Conference
April 23	Jasper Design Automation's Kathryn Kranen Moderates DAC Pavilion Panel on Today's Consumer at the 45th Annual Design Automation Conference
April 22	Jasper Design Automation Adds Tom Melham And Moshe Vardi To Its Technical Advisory Board
April 9	Jasper Design Automation Unveils Its Production Proven Proof Accelerators For Rapid and Exhaustive Verification of Intractable Datapath Designs
April 2	EDA Consortium Elects Officers and Board Members

2007

December 5	Jasper Design Automation Joins The SPIRIT Consortium to Champion Structured Verification Planning
December 5	Jasper Design Automation Hires Distinguished Formal Verification Expert Ziyad Hanna as Chief Architect and Vice President of Research
October 3	Jasper Design Automation Releases GamePlan™ Verification Planner v1.2 Enabling Tracking of Verification Results within Dynamic Verification Plans
October 3	Jasper Design Automation Announces JasperGold® Verification System v4.5 Featuring Liveness Property Support, Improved Modeling and Faster Engine Performanc
May 30	Jasper Design Automation Highlights ‘Low-Effort, High-Leverage’ Formal Verification at DAC 2007
February 21	Jasper Design Automation Announces JasperGold® Verification System 4.3 With Major Advances in Performance, Modeling and Ease-of-use
February 21	Jasper Design Automation Advances Verification Planning With GamePlan™ Verification Planner v1.1