industry news
Subscribe to EE Journal Daily Newsletter

Real Intent Chief Technology Officer to Present Tutorial on the “Paradigm Shift in Verification Methodology” at FMCAD Next Week

Sunnyvale, Calif., USA, September 28, 2016 – Dr. Pranav Ashar, Chief Technology Officer for Real Intent, Inc., will present a tutorial, “A Paradigm Shift in Verification Methodology,” at the Formal Methods in Computer-Aided Design (FMCAD) 2016 Conference to be held in Mountain View, California October 3-6. Real Intent is a market leader in static verification-based solutions for advanced functional verification and design signoff for SoCs and FPGAs.

What:

Tutorial Abstract: “A Paradigm Shift in Verification Methodology”

Today’s SoCs are driving unprecedented verification complexity. The combination of billions of gates, system-level functionality on a chip, complex design methodologies like asynchronous clock domains and an explosion of untimed paths on a chip, interacting dynamic power domains, aggressive reset schemes etcetera could have been the perfect storm to staunch productivity. Instead it has turned out to be the mother of all necessities that has driven significant innovation in verification and brought about a paradigm shift.  Static sign-off has proven to be a pillar in this new paradigm. The tutorial will discuss the template for what has made static techniques successful in verifying modern SoCs.

When/Where:

FMCAD 2016 will be held at Synopsys, Building B

October 3-6, 2016

690 E Middlefield Rd 
Mountain View, CA 94043 

For more information on the conference, visit here.  To register, please visit here.

About Dr. Ashar:

Prior to joining Real Intent as Chief Technology Officer, Dr. Pranav was Department Head at NEC Labs in Princeton, NJ where he developed a number of EDA technologies that have influenced the industry. His paper titled “Accelerating Boolean Satisfiability with Configurable Hardware” was selected as one of 25 significant contributions from 20 Years of the IEEE Symposium on Field-Programmable Custom Computing Machines. He has 35 patents granted or pending, a few of which have led to business enablement. Dr. Pranav was adjunct CSEE faculty at Columbia University where he has taught VLSI design and verification courses. He received his Ph.D. in EECS from the University of California, Berkeley.

About FMCAD

FMCAD 2016 will be held in Mountain View, California, USA, from 3-6 October, 2016. It is the sixteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

About Real Intent 

Companies worldwide rely on Real Intent’s EDA software to accelerate functional verification and advanced sign-off of electronic designs. The company provides comprehensive CDC verification, advanced RTL analysis and sign-off solutions to eliminate complex failure modes of SoCs. Real Intent’sMeridian and Ascent product families lead the market in performance, capacity, accuracy and completeness. Please visit www.realintent.com for more information.

Leave a Reply

featured blogs
Oct 16, 2017
Like with any new product in market everyone is anxious about knowing all the features and then trying it out. The display piece in the showroom and the purveyor are no less than an emancipator. Display piece helps us know how the product, test the areas of interest and gives...
Oct 13, 2017
With our last web update, we brought you several new additions to our on-site search, a new Microelectronics web experience, and our new 2017 product overview guide. In September, the updates to search came to a close (for now), we’ve added a few new content pages, and ...
Sep 12, 2017
Torrents of packets will cascade into the data center: endless streams of data from the Internet of Things (IoT), massive flows of cellular network traffic into virtualized network functions, bursts of input to Web applications. And hidden in the cascades, far darker bits try...
Sep 29, 2017
Our existing customers ask us some pretty big questions: “How can this technology implement a step-change in my specific process? How can Speedcore IP be integrated in my SoC? How can you increase the performance of my ASIC?” We revel in answering such questions. Ho...