Principles of Sequential-Equivalence Verification (original) (raw)

paper cover icon

Principles of Sequential-Equivalence Verification

IEEE Design and Test of Computers, 2005

Mohamed MneimnehMohamed Mneimneh

Abstract

CHECKING WHETHER two models of a design are functionally equivalent is a crucial step in a transforma-tion-based design flow, in which a designer obtains lower-level implementation models by manual or automatic translation from higher-level specification models. In a ...

Mohamed Mneimneh hasn't uploaded this paper.

Let Mohamed know you want this paper to be uploaded.

Ask for this paper to be uploaded.