industry news
Subscribe Now

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
Sep 20, 2018
Whether the Designer is driving schedule or keeping the Project Manager in the loop, we need to hone the skill of estimating a job accurately and with sufficient wiggle room....
Sep 20, 2018
At this year's HOT CHIPS, Jeff Rupley of Samsung presented the application processor that goes in their Galaxy S9 and S9+ smartphones. Apple only ever gives cursory information about their Ax chips, and I don't remember seeing a lot of detail about the HiSilicon chi...
Sep 18, 2018
Samtec performs several tests in-house as part of our qualification testing on a product series; including Low Level Contact Resistance (LLCR). It measures the amount of resistance in a position on a part. LLCR is used in combination with several other tests to track the over...
Sep 9, 2018
  The lease listing on the Pacific American Group'€™s Web site reads: '€œEight Forty Four East Charleston Road is a historically relevant commercial building in Palo Alto. This building was key in the development of Silicon Valley'€™s computer business. Here, Rober...