industry news
Subscribe to EE Journal Daily Newsletter
3 + 7 =

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
Dec 12, 2017
The latest semi-annual RISC-V workshop took place the week after Thanksgiving. The last one was in Shanghai. The next one is in Barcelona. This one was in...Milpitas. At least it didn't require a plane to get there. It was at what I think of as SanDisk, but has been West...
Dec 12, 2017
Samtec is expanding its line of ExaMAX® high speed backplane connectors. The new system is a direct mate orthogonal (DMO) configuration. These products were recently on display at SC17 in Denver. In the video above, Jonathan Sprigler, Samtec’s Backplane Product Manager...
Nov 16, 2017
“Mommy, Daddy … Why is the sky blue?” As you scramble for an answer that lies somewhere between a discussion of refraction in gasses and “Oh, look—a doggie!” you already know the response to whatever you say will be a horrifyingly sincere “B...
Nov 07, 2017
Given that the industry is beginning to reach the limits of what can physically and economically be achieved through further shrinkage of process geometries, reducing feature size and increasing transistor counts is no longer achieving the same result it once did. Instead the...