Innovating the Intelligence of Formal Techniques for Automatic Design Verification

Management

Management

Prakash Narain, Ph.D.
President, CEO

Dr. Prakash Narain's career spans IBM, AMD and Sun where he got hands on experience with all aspects of IC design, CAD tools design and methodology. He was the project leader for test and verification for UltraSPARC IIi at Sun Microsystems. He was an architect of the Mercury Design System at AMD He has architected and developed CAD tools for test and verification for IBM EDA. Dr. Narain has a Ph.D. from the University of Illinois at Champaign-Urbana where his thesis focus was on algorithms for high level testing and verification.
Rajiv Kumar
Chief Operating Officer

Rajiv Kumar spent almost 12 years at Hewlett-Packard in both engineering and managerial capacities. During his tenure, he worked on several generations of the PA-RISC processor and HP's high-end server systems. He also worked on the joint development of Itanium processor with the Intel engineering team. He was a key architect for HP's transition from 32-bit to 64-bit platform where he led over 100 engineers in delivering HP's first 64-bit system. Mr. Kumar holds graduate degrees in management from Stanford and in computer science from University of Oregon.
Chris Morrison, Ph.D.
Chief Architect


Dr. Chris Morrison was employee #2 at Real Intent.  He brings over 22 years of EDA software engineering experience to the team.  Previous to Real Intent he led the engineering development of clock tree generation and placement based optimization tools at Cadence Design Systems.  Prior to that he worked at Viewlogic Systems.  His PhD is from the University of Colorado and BSEE is from Yale University.

Carol Hallett
Vice President of World Wide Sales and Marketing

Carol brings a wealth of experience in sales, marketing and operational management positions in semiconductor, computer, and EDA industries. Prior to Real Intent, Carol was the Vice President at Tharas, which was acquired by EVE. Prior to Tharas she was at Phoenix Technologies, Mentor Graphics and Tera Systems in sales roles. She was the vice president of Sales for Blue Pearl, TransEDA and RoyoCAD. She began her career at National Semiconductors and Surface Mounted Technology in various technical and operational roles.
Pranav Ashar
Chief Technology Officer

Dr. Pranav Ashar brings two decades of EDA expertise to Real Intent. Pranav received his M.S. and Ph.D. in EECS with emphasis on EDA from the University of California, Berkeley in 1989 and 1991, respectively. He then joined NEC Labs in Princeton, NJ where he developed a number of EDA technologies that have influenced the industry. One of his important accomplishments there was in raising the prominence of formal methods in VLSI design through the creation of a very successful Verification Department and the development and widespread deployment in EDA tools of practical methods for formal verification. Through his leadership, the department also parlayed its formal methods expertise into practical methods for formal analysis in software engineering that have been deployed in the field. Pranav also created a successful department at NEC Labs for the application of automata and machine learning methods in the management of large-scale distributed systems. Pranav previously served as CTO at Real Intent from 2004 through 2006. In the interim, he served as CTO at a mobile-phone security company called NetFortis that he co-founded for which he developed low-energy high-performance algorithms for malware detection, and Chief Scientist at a simulation acceleration company called Liga Systems that was based on technology developed by him at NEC Labs for custom-VLIW based parallel simulation that was recently able to demonstrate a reduction in simulation time from 21 days to about 1 day on a 25 Million gate design. Pranav has authored about 70 publications in refereed conferences and journals with approximately 800 citations, and co-authored a book titled "Sequential Logic Synthesis". He has 35 patents granted and pending, many of which have been licensed or part of business enablement. Pranav has been on committees of ICCD, ICCAD and IWLS. He was ICCD Program Chair in 2004 and 2005, and ICCD General Chair in 2006. Pranav is an adjunct faculty in the CSEE department at Columbia University where he has taught graduate and undergraduate courses on VLSI design automation, VLSI Verification, and VLSI design. Pranav has also taught a graduate course on Switching Theory in the EE department at Princeton University.