REMINDER: Real Intent's CTO Speaks About Improving Electronic Design Verification Efficiency With Automatic Formal Analysis

NEWPORT BEACH, CA -- (MARKET WIRE) -- Oct 28, 2009 --


Dr. Pranav Ashar, Real Intent's CTO, will speak about "Improving Verification Efficiency with Rule Based Automatic Formal Analysis" at the 7th annual International System-on-Chip Conference in Newport Beach, California.

Real Intent, Inc. is known as the innovator in automating the intelligence of formal technologies for electronic design verification.

Dr. Pranav Ashar rejoined Real Intent this year and previously served as the company's CTO from 2004 to 2006. He previously worked at NEC Labs (Princeton, NJ) developing formal verification technologies for VLSI design. He authored about 70 papers and co-authored a book titled "Sequential Logic Synthesis." He holds a Ph.D. in EECS from UC Berkeley.



Improving Verification Efficiency with Rule-Based Automatic Formal Analysis


The cost of functional verification is a dominant contributor to SOC design costs. It is therefore desirable to improve the efficiency of functional verification so as to reduce cost. This presentation discusses rule-based automatic formal analysis as the opportunity for improving verification efficiency.


1:30-2pm, Thursday, November 5, 2009

Radisson Hotel

Newport Beach, California

Information and Registration

For more information about Real Intent, please visit

For more information about the International System-on-Chip Conference, please visit

About Real Intent

Real Intent is the leading innovator in automating formal techniques for design verification. This technology is being used in the field today to solve critical problems encountered by design and verification teams worldwide. Real Intent's family of products dramatically improves the functional verification efficiency of leading edge ASIC and FPGA based designs.

Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: +1 (408) 830-0700 fax: +1 (408) 737-1962, Web:, e-mail: Email Contact, Twitter:

Meridian is a trademark of Real Intent, Inc.

All other trademarks and trade names are the property of their respective owners.

Add to Digg Bookmark with Add to Newsvine

Press Contacts
Carol Hallett
VP of Worldwide Sales and Marketing

Email Contact

Georgia Marszalek
Valley PR LLC for Real Intent

Email Contact

Review Article Be the first to review this article


Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 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