Our industry has experienced remarkable breakthroughs in computing, networking, and communication technology in recent years. Yet, it is the convergence of these technologies that is driving the next big thing in innovation related to IoT and autonomous systems. And it is also driving the need for new approaches to verify today’s complex systems. In this keynote, Harry Foster shares a holistic view of the next big wave in verification.
This keynote highlights how new growth segments, such as Automotive, IoT, Networking, 5G Mobile, etc. are fundamentally changing the requirements for verification. The keynote will emphasize how addressing the SoC verification, software bring-up and validation needed for these segments will change the nature of verification technologies and solutions.
High-Level Synthesis (HLS) is now a reality. Technology companies all around the world are successfully deploying HLS in their flows to reduce the time to market and to cut down verification costs. The HLS generated RTL needs to fit into the well-established corporate verification flows. An important aspect of the verification flow is to close code coverage on the RTL. Traditionally, RTL designers have been using a mix of statement coverage, branch coverage, expression coverage and functional coverage to guarantee the “goodness” of the RTL.