Browse Prior Art Database

Dataflow Verification Algorithm

IP.com Disclosure Number: IPCOM000088348D
Original Publication Date: 1977-May-01
Included in the Prior Art Database: 2005-Mar-04
Document File: 2 page(s) / 34K

Publishing Venue

IBM

Related People

Goertzel, G: AUTHOR [+2]

Abstract

A digital system which is being designed can be described as a composition of two subsystems: the Control and the Dataflow. Often, the design process involves the determination of the boundary between the two submachines, and, subsequently, the detailed design of each of them. In many cases, the Dataflow is designed first. The design of the Dataflow is a manual process. Furthermore, the adequacy of the Dataflow in accomodating the high-level functional specification is checked manually. If alternate Dataflow designs are considered and compared, more manual effort is required. Moreover, as a result of relying on manual operations, the correctness of the design is vulnerable to human error.

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 53% of the total text.

Page 1 of 2

Dataflow Verification Algorithm

A digital system which is being designed can be described as a composition of two subsystems: the Control and the Dataflow. Often, the design process involves the determination of the boundary between the two submachines, and, subsequently, the detailed design of each of them. In many cases, the Dataflow is designed first. The design of the Dataflow is a manual process. Furthermore, the adequacy of the Dataflow in accomodating the high-level functional specification is checked manually. If alternate Dataflow designs are considered and compared, more manual effort is required. Moreover, as a result of relying on manual operations, the correctness of the design is vulnerable to human error. The Dataflow Verification Algorithm (DVA) is intended to provide the designers with a computerized tool with which the Dataflow can be verified to be adequate; alternate Dataflows can be compared, and an initial set of control statements can be generated (and subsequently used as a starting point for the design of the Control submachine).

Before proceeding with a description of the algorithm, we will define the meaning of "adequacy" of the Dataflow. If a control sequence can be generated which, together with the Dataflow, implements a given segment of the high-level functional specification, then we say that the Dataflow is "adequate" for that segment. The basic process is based on a compiler-like technique which is detailed below.

The user's view of DVA, in terms of in...