Jasper Design Automation to Present Paper on Behavioral Indexing

Jasper Design Automation, provider of the most advanced formal technology solutions, announced that its chief technology officer, Rajeev Ranjan, will present a paper at DesignCon 2009 discussing a promising new technology, Behavioral Indexing, for enabling efficient IP design reuse.

Rajeev Ranjan is the Chief Technology Officer of Jasper Design Automation and is responsible for developing Jasper’s overall technology vision and driving the business value of formal technology. Prior to joining Jasper, Rajeev was CTO and VP of Engineering at Real Intent, where he led the development of their products and set the company’s technical direction. Before joining Real Intent, he was in the Advanced Technology Group at Synopsys, where he co-developed the prototype for Magellan, Synopsys’s formal-assisted simulation product. Rajeev has been active in the area of formal verification for more than 17 years, and has published numerous articles and holds a number of patents in the area of functional verification.

This session is part of DesignCon’s new IP Summit. The paper is entitled, “Toward Harnessing the True Potential of IP Reuse” and will feature a discussion on how Behavioral Indexing can be used to address the root problems of comprehension, modification, and re-verification of IP for efficient reuse.

“Behavioral Indexing will enable breakthroughs in design comprehension, reuse, and IP delivery, solving many business problems associated with IP, whether commercial or internally-developed,” stated Rajeev. “By leveraging this technology even earlier in the design flow, designs will be built to enable easy future design reuse and modification, truly harnessing the complete potential that design reuse has to offer for speeding highly innovative products to market.”

Tuesday, February 3rd, 11:05 am – 11:45 am
DesignCon 2009, Santa Clara Convention Center, Santa Clara California, Track 3: IP Re-Use and Integration
For details visit: www.designcon.com/2009/attendees/schedule/3_ta_4.asp.

About Jasper Design Automation
Jasper is a privately-held EDA software company leveraging formal technologies to deliver high value solutions for the design and verification of electronic systems and semiconductors. The company delivers products utilizing advanced formal analysis and Behavioral IndexingTM technologies to the global electronics market. Jasper is headquartered in Mountain View, California, and has offices and distributors located in North America, South America, Europe, and Japan.

Jasper Design Automation, the Jasper Design Automation logo, ActiveDesign, Behavioral Indexing, Activated Design, ActiveIP and JasperGold are trademarks or registered trademarks of Jasper Design Automation, Inc.