Jasper Design Automation Promotes Rajeev Ranjan To the Position Of Chief Technology Officer; Formal Industry Veteran Drives Technology Vision of Powerful and Highly, Intuitive Formal Verification Solutions for Complex Designs

MOUNTAIN VIEW, Calif.—(BUSINESS WIRE)—May 25, 2006— Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced the promotion of Rajeev Ranjan to the position of Chief Technology Officer (CTO). Rajeev Ranjan is an accomplished veteran of the formal verification industry, having led development of all products while at Real Intent, and co-development of the semi-formal functional solution at Synopsys. He has been a valued contributor to Jasper's technology development since 2003.

Initially, Dr. Ranjan served as director of engineering, heading development of Jasper's industry-leading full formal solution, JasperGold(R) Verification System. He assumed the role of Chief Architect in 2005 and pioneered several next-generation product features. Now, in his new role as CTO, Dr. Ranjan will work closely with key customers, Jasper's R&D team, as well as a number of verification industry luminaries to research new formal application spaces that target correctness where it matters most.

"In his engineering and chief architect roles, Rajeev made many outstanding contributions to Jasper, particularly in increasing formal capacity while simultaneously helping to make the Jasper solution the most user-friendly on the market," said Kathryn Kranen, president and CEO of Jasper. "Rajeev's depth of formal experience, understanding of the customers' design challenges and product development insights will help to further Jasper's technology leadership. Further simplification of the user experience along with powerful product enhancements will deliver significant value to designers and verification engineers worldwide."

"With the growth in today's chip complexity and the increasing demand for higher quality products, formal is rapidly becoming an imperative," said Rajeev Ranjan. "I'm very excited about stepping into this new role and driving Jasper's technology vision as I want to empower design and verification teams with new ways to achieve fast, complete verification with push-button simplicity. Just imagine what designers could do if given a highly intuitive way to leverage formal. And think about what greater automation and increased design visibility would mean to the advanced formal user. The completeness of advanced formal, combined with simulation coverage - this is the future."

Before joining Jasper Design Automation, Rajeev Ranjan 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 over 13 years. He has served on the program committees of many international conferences including DAC, ICCAD, FMCAD, and CHARME. He has published numerous articles and holds 5 patents in the area of functional verification.

Rajeev received his bachelor's degree from the Indian Institute of Technology, Kanpur, his Masters degree from University of Illinois at Urbana-Champaign, and his doctorate degree in formal verification from University of California at Berkeley.

About Jasper Design Automation

Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company with a mission of making full formal IC verification a competitive advantage for its customers. The company's flagship product, JasperGold(TM) Verification System, is the first verification product to deliver systematic complete verification, and accomplishes this task within predictable, finite schedule constraints. JasperGold formally verifies that complex IC design blocks meet high-level requirements defined in their specifications, and also pre-verifies IP blocks for use under all usage modes, without any testbench development. JasperGold automatically isolates bugs with a fast, unique debugging capability. By isolating bugs earlier than simulation or formal-assisted simulation tools, and then proving the absence of bugs, JasperGold trims crucial months off design schedules. For further details on how to achieve complete verification, and improve verification productivity, predictability and verification reuse, please visit http://www.jasper-da.com.

Jasper Design Automation, the Jasper Design Automation logo, JasperGold and Formal Testplanner are trademarks of Jasper Design Automation, Inc. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies.



Contact:
For Jasper Design Automation
Francine Bacchini, 408-839-8153

Email Contact

Rating:


Review Article Be the first to review this article

ALDEC:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Reverie: All That Glitters is not Past
More Editorial  
Jobs
Technical Marketing Manager Valley for EDA Careers at San Jose, CA
Digital and FPGA Hardware Designer for Giga-tronics Incorporated at San Ramon, CA
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
Senior Physical Design Engineer for Ambiq Micro at Austin, TX
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
SoC Design Engineer for Intel at Santa Clara, CA
Upcoming Events
European 3D Summit 2017 at 3, parvis Louis Néel 38054 Grenoble France - Jan 23 - 25, 2017
3D Printing Electronics Conference at High Tech Campus 1, 5656 Eindhoven Eindhoven Netherlands - Jan 24, 2017
DesignCon 2017 at Santa Clara Convention Center Santa Clara CA - Jan 31 - 2, 2017
Embedded Neural Network Summit at San Jose CA - Feb 1, 2017
TrueCircuits: UltraPLL



Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy