Jasper Design Automation

MOUNTAIN VIEW, CA -- (Marketwire) -- 06/07/11 -- Jasper Design Automation, the leading provider of verification solutions based on formal technology, today announced the availability of its suite of system-level VIP for AMBA 4 ACE-based SoCs. The VIP is the first of its kind for the ACE specification ... read more

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

MOUNTAIN VIEW, CA -- (Marketwire) -- 04/25/11 -- Jasper Design Automation, the leading provider of verification solutions based on formal technology, today announced that Oz Levia has joined its executive team as Vice President of Marketing and Business Development and Corporate Counsel. "I am excited to add Oz to ... read more

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

MOUNTAIN VIEW, CA -- (Marketwire) -- 01/18/11 -- WHAT: Jasper Design Automation will present a paper describing new technologies to help designers doing assertion-based verification at the upcoming DesignCon trade show. WHEN: DesignCon runs from Jan. 31 - Feb. 3. The Jasper paper "Automating Higher Level Verification Methods" (http://bit.ly/bnRHDg) will be ... read more

MOUNTAIN VIEW, CA -- (Marketwire) -- 01/12/11 -- WHAT: Jasper Design Automation and its Japanese distributor CyberTec will display Jasper's latest formal verification technology innovations at this month's EDSFair. For more information on EDSFair: http://www.edsfair.com/e/. WHEN: EDSFair takes place Jan. 27-28, 2011 WHERE: EDSFair is held at Pacifico Yokohama Exhibition Hall, Yokohama, ... read more

MOUNTAIN VIEW, CA -- (Marketwire) -- 11/11/10 -- WHAT: Jasper Design Automation CEO Kathryn Kranen is an invited speaker at this year's IP-SOC 2010, describing best practices for post-silicon validation, debug and verification, and offering timely solutions for this increasingly urgent issue. Held annually in Grenoble, IP-SOC highlights IP-based SoC ... read more

MOUNTAIN VIEW, CA -- (Marketwire) -- 08/19/10 -- WHAT: Jasper Design Automation will present a paper "Formal Methods and Jasper Tools in Post-Silicon Debug" at next month's S4D 2010 Conference -- http://bit.ly/aMwIXb. The S4D 2010 Conference, Sept. 15-16 (co-located with the FDL 2010 Conference in Southampton, UK) is an annual ... read more

MOUNTAIN VIEW, CA -- (Marketwire) -- 07/28/10 -- WHAT: Jasper Design Automation will present a paper, "New Technologies in Formal Verification for Increased Design and Verification Productivity," at the upcoming SAME (Sophia Antipolis Forum on MicroElectronics -- www.same-conference.org). The SAME 2010 Forum, Oct. 6-7, 2010 is an annual exhibition and ... read more

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

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

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

MOUNTAIN VIEW, CA -- (Marketwire) -- 02/22/10 -- Jasper Design Automation, provider of advanced formal technology solutions, today announced the availability of Proof Kits for LPDDR1 and LPDDR2, and DDR3 SDRAM. These Jasper Proof Kits are sets of properties, written in SystemVerilog, related to standard JEDEC interface protocols. Each Proof Kit ... read more

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