O'Reilly logo

Verification Techniques for System-Level Design by Mukul Prasad, Indradeep Ghosh, Masahiro Fujita

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 6. Equivalence Checking on Higher-Level Design Descriptions

Introduction

In this chapter, we introduce equivalence-checking methods for design descriptions that are higher level than register transfer level (RTL). Because of the nature of high-level design descriptions based on C/C++ languages, word-level variables, such as integer and other multibit variables, are often used. If we always expand such variables into multiples of Boolean variables, the number of variables for Boolean reasoning, like the ones based on SAT solvers and BDD-based routines, easily become too large to be processed. Instead, any reasoning procedures on high-level design descriptions should apply word-level analysis methods, which deal as much as possible with all ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required