Real Intent’s CTO Speaks about Improving Electronic Design Verification Efficiency with Automatic Formal Analysis

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.