Formal Equivalence Checking - Equivalence Checking and Levels of Abstraction

Equivalence Checking and Levels of Abstraction

In general, there is a wide range of possible definitions of functional equivalence covering comparisons between different levels of abstraction and varying granularity of timing details.

  • The most common approach is to consider the problem of machine equivalence which defines two synchronous design specifications functionally equivalent if, clock by clock, they produce exactly the same sequence of output signals for any valid sequence of input signals.
  • Microprocessor designers use equivalence checking to compare the functions specified for the instruction set architecture (ISA) with a register transfer level (RTL) implementation, ensuring that any program executed on both models will cause an identical update of the main memory content. This is a more general problem.
  • A system design flow requires comparison between a transaction level model (TLM), e.g., written in SystemC and its corresponding RTL specification. Such a check is becoming of increasing interest in a system- on-a-chip (SoC) design environment.

Read more about this topic:  Formal Equivalence Checking

Famous quotes containing the words levels and/or abstraction:

    The country is fed up with children and their problems. For the first time in history, the differences in outlook between people raising children and those who are not are beginning to assume some political significance. This difference is already a part of the conflicts in local school politics. It may spread to other levels of government. Society has less time for the concerns of those who raise the young or try to teach them.
    Joseph Featherstone (20th century)

    When truth is nothing but the truth, it’s unnatural, it’s an abstraction that resembles nothing in the real world. In nature there are always so many other irrelevant things mixed up with the essential truth. That’s why art moves you—precisely because it’s unadulterated with all the irrelevancies of real life.
    Aldous Huxley (1894–1963)