SOURCE: Jasper Design Automation

Jasper Design Automation

November 15, 2010 10:30 ET

Jasper CTO Dr. Rajeev Ranjan Presenting at IEEE Microprocessor Test & Verification Workshop Dec. 14

MOUNTAIN VIEW, CA--(Marketwire - November 15, 2010) -

WHAT: Jasper Design Automation CTO Dr. Rajeev Ranjan will be part of a special session at the 11th Annual IEEE Microprocessor Test & Verification Workshop (MTV) ( being held Dec. 13-15 in Austin, Texas. MTV brings researchers and practitioners from the fields of verification and test together to exchange innovative ideas and develop new methodologies to solve the difficult challenges in various processor and SOC design environments.

WHEN: Dr. Ranjan will participate in a Special Session covering formal methods for power and performance verification on Tuesday, Dec. 14, 3:30pm.

WHERE: MTV is held at the Hyatt Regency, Austin. For additional conference details and registration information, visit:

WHO: Dr. Rajeev Ranjan, CTO, Jasper Design Automation

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 to reduce risks; increase design, verification and reuse productivity; and accelerate time to market.

Jasper Design Automation and the Jasper Design Automation logo are trademarks or registered trademarks of Jasper Design Automation, Inc. All other trademarks mentioned are the property of their respective companies.

Contact Information

  • Contact:
    Jim Lochmiller
    For Jasper Design Automation
    (541) 292-0959
    Email Contact