ANALYSIS OF THE CORRECTNESS OF AUTOMATICALLY SYNTHESIZED CONTROLLERS

Authors
  1. Elwood, W.L.
  2. Knight, J.P.
Corporate Authors
Audesyn Inc, Edmonton ALTA (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
When designing a circuit, the circuitry is traditionally divided into a data path and a control path. The control path generates control signals which cause the data path to perform operations in some predetermined sequence. This sequence of control signals allows the data path to compute various results which are then seen at the periphery of the chip. The report is concerned with the generation and structure of control paths produced by the Elf hardware synthesis system. The first chapter provides an overview of what it means to prove that a controller is correct. In addition, a review of some other attempts at controller verification are presented.
Report Number
AUTR-88-02 — Technical Report; Contractor Report
Date of publication
15 Mar 1989
Number of Pages
80
DSTKIM No
90-01277
CANDIS No
63547
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: