Wednesday, February 8, 2012 Last update: 10:34 PM
The Best of U.S. Company Technology News

Trade Events

Jasper Design Automation

News articles for Jasper Design Automation:

Tuesday, June 7, 2011

Wednesday, May 18, 2011

  • ARM Upgrades Validation Methodology for Processor and System IP With Jasper
    MOUNTAIN VIEW, CA -- (Marketwire) -- 05/18/11 -- Jasper Design Automation, the leading provider of verification solutions based on formal technology, today announced that ARM has completed a deployment of Jasper technology and solutions that enhances the validation methodology for ARM® AMBA® protocol-based processor and system IP. The adoption ... read more

Monday, April 25, 2011

Monday, February 7, 2011

  • Jasper DVCon Highlights: ActiveProp and Advanced Formal Solutions
    MOUNTAIN VIEW, CA -- (Marketwire) -- 02/07/11 -- WHAT: Jasper Design Automation's ActiveProp™ property synthesis tool will make its North American debut at this year's DVCon. ActiveProp automatically synthesizes properties to expand the property verification set, increase functional coverage, and identify coverage holes. Jasper is also highlighting its industry-leading formal ... read more

Tuesday, January 18, 2011

Wednesday, January 12, 2011

Thursday, November 11, 2010

Thursday, August 19, 2010

Wednesday, July 28, 2010

Wednesday, June 2, 2010

  • Jasper Crosses the Design-to-Verification Chasm
    MOUNTAIN VIEW, CA -- (Marketwire) -- 06/02/10 -- Jasper Design Automation, provider of advanced formal technology solutions, today announced new versions of ActiveDesign™ and JasperGold® with capabilities that bridge the divide between chip design and verification by sharing a common, persistent knowledge base. Jasper's ActiveDesign with Behavioral Indexing™ lets ... read more

Tuesday, May 18, 2010

  • See Jasper Formal Verification in Action at DAC June 13-18, Booth 1337
    MOUNTAIN VIEW, CA -- (Marketwire) -- 05/18/10 -- Visit Jasper Design Automation at the upcoming Design Automation Conference, Booth 1337, in Anaheim June 13-18 to learn about the latest advances in formal verification technology. Register for informative product demos with Jasper experts, and discover how we deliver targeted ... read more

Tuesday, April 20, 2010

  • Jasper's Kathryn Kranen Re-Elected as EDAC Vice Chair
    MOUNTAIN VIEW, CA -- (Marketwire) -- 04/20/10 -- Jasper Design Automation, provider of advanced formal technology solutions, today announced its President and CEO, Kathryn Kranen, has been re-elected as Vice Chair of the Electronic Design Automation (EDA) Consortium. As a board member for the past six years she ... read more

Sunday, February 21, 2010

Friday, February 19, 2010

  • Jasper ActiveDesign EDN Innovation Award Finalist
    MOUNTAIN VIEW, CA -- (Marketwire) -- 02/19/10 -- Jasper Design Automation, provider of advanced formal technology solutions, announced today its ActiveDesign™ with Behavioral Indexing™ has been named a finalist for the 20th Annual EDN Innovation Awards. ActiveDesign is one of five EDA tools competing for the prestigious award ... read more