Paper Description: MIP-9411

BibTeX entry:

@incollection{MIP-9411,
author="T. Margaria, M. Griva, R. Tesio",
title="Semantic Extraction for the Automatic Verification of VHDL Description",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik, Universit{\"a}t Passau",
year=1994,
number={MIP-9411}
}

Abstract:

We present V20, an automatic semantic extraction tool for a subset of VHDL, which takes care of the axiomation of pairs of VHDL description whose behavioural equivalence is to be checked within the OTTER based verification system. The implementation is based on enriched axiomatization criteria in terms of gate level and RT level specific primitives.

Paper itself:

Cross links:

Ulrike Peiker, Martin Griebl