In the News | Jasper Design Automation

Home › News/Events

May 19

Gary Smith

Jasper on Gary Smith's Must See at DAC 2013 list - Gary Smith EDA
May 17

DeepChip

Jasper case study on formally verifying secure on-chip data paths - DeepChip
May 16

EDA Express

Jasper finalist in Red Herring Top 100 - EDA Express
May 16

Nikkei Electronics

Jasper Introduced Formal Low Power Verification App - Nikkei Electronics
May 15

Press Release

Jasper Presenting Verification Innovation at DAC
May 14

SemiWiki

Jasper Low Power Verification App - SemiWiki
May 14

Press Release

Jasper Makes Formal Verification Power-Aware with a New Low Power App for Verification of SoCs with Multiple Power Domains
May 10

Press Release

Jasper Named Finalist for 2013 Red Herring Top 100 North America Award
April 26

EE Times

Kathryn Kranen gives an ACE LifeTime Achievement Award acceptance speech
April 25

EDN

ACE Awards Lifetime Achievement: Kathryn Kranen - EDN
April 13

EE Times

Jasper's Kranen Talks EDA Pricing and Value - EE Times
April 9

EDA Cafe Blog

Using Formal Tools to Improve the Productivity of Verification at ST Microelectronics - EDA Cafe
April 9

EE Times

A Low Risk, High Reward Approach to Adopting Formal Methods - EE Times
April 4

EE Times

Jasper's Kranen Wins ACE Lifetime Achievement Award - EE Times
April 4

EE Times

Kathryn Kranen to Receive 2013 EE Times ACE Lifetime Achievement Award - EE Times
April 4

SemiWiki

Kathryn Kranen Wins UBM Lifetime Achievement Award 2013 - SemiWiki
March 22

DesignCon Community

The Verification Effort: Formal - DesignCon Community
March 19

Press Release

Kathryn Kranen, President and CEO of Jasper Design Automation, Joins CriticalBlue Board of Directors
March 13

SemiWiki

Formal Verification of Power Intent - SemiWiki
March 11

EDA Cafe Blog

Get Powered Up with Formal Low Power Verification! - EDA Cafe Blog