Skip to main content
Article thumbnail
Location of Repository

A Canonical Form of RT-Level FSM Controlled Data Path Descriptions for Formal Verification

By Péter Keresztes

Abstract

Abstract: The paper proposes a new canonical form for RT-level descriptions, which can be systematically generated from both the specification and the structural description. The verification can be executed with the comparison of the two generated canonical form descriptions.

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.1091
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.bmf.hu/conferences/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.