Exploitation of RT information in static property checking algorithms

Abstract

This document describes an approach for preserving the RTL structure of designs and properties to be exploited in property checking algorithms. Two approaches, for preprocessing such problems are considered, namely symmetry reduction and date path scaling, and the effects are outlined.

Cite this paper

@inproceedings{Brinkmann2004ExploitationOR, title={Exploitation of RT information in static property checking algorithms}, author={Raik Brinkmann}, year={2004} }