industry news
Subscribe Now

Jasper Announcing Newest Formal Verification Technology at EDSFair, Yokohama, Jan. 27-28 — Booth 002

MOUNTAIN VIEW, CA–(Marketwire – January 12, 2011) –

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, Japan. Jasper and CyberTec will be in Booth 002.

WHO: For additional details, or to arrange a product demo, contact CyberTec at edsf2011@cyber-tec.co.jp, or visit their website http://www.cyber-tec.co.jp.

About Jasper Design Automation

Jasper delivers industry-leading EDA software solutions for semiconductor design, verification, and reuse, based on the state-of-the-art formal technology. Customers include worldwide leaders in wireless, consumer, computing, and networking electronics, with over 150 successful chip deployments. Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, and Asia. Visit www.jasper-da.com to reduce risks; increase design, verification and reuse productivity; and accelerate time to market.

Leave a Reply

featured blogs
Feb 24, 2026
How a perfectly good Bosch HVAC system was undermined by preventable mistakes, and a thermostat interface that defies logic....

featured video

Cadence Chiplets Solutions | Helping you realize your chiplet ambitions

Sponsored by Cadence Design Systems

In this webinar, David Glasco, VP of Compute Solutions at Cadence, discusses how Cadence enables customers to transition from traditional monolithic SoC architectures to modular, scalable chiplet-based solutions, essential for meeting the growing demands of physical AI applications and high-performance computing.

Read eBook: Helping You Realize Your Chiplet Ambitions

featured chalk talk

MR-VMU-RT1176 Vehicle Management Flight Controller
In this episode of Chalk Talk, Iain Galloway from NXP and Amelia Dalton explore the benefits of the MR-VMU-RT1176 Vehicle Management Flight Controller. They also investigate the multitude of elements included in this solution and how NXP robotics platforms can get your next mobile robot design up and running in no time.
Feb 16, 2026
9,947 views