Author/Authors :
Prabhat Mishra، نويسنده , , University of California، نويسنده , , Irvine
Nikil Dutt، نويسنده , , University of California، نويسنده , , Irvine
Narayanan Krishnamurthy، نويسنده , , Motorola
Magdy S. Abadir، نويسنده , , Motorola
، نويسنده ,
Abstract :
A major challenge in todayʹs functional verification is the lack of a formal specification with which to compare the RTL model. We propose a novel top-down verification approach that allows specification of a design above the RTL. From this specification, it is possible to automatically generate assertion models and RTL reference models. We also demonstrate that symbolic simulation and equivalence checking can be applied to verify an RTL design against its specification.
