Accession Number : ADA189200

Title :   Describing Constraints on a Digital Circuit's Behavior.

Descriptive Note : Technical rept.,

Corporate Author : ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE

Personal Author(s) : Baldwin, Doug

PDF Url : ADA189200

Report Date : Jul 1987

Pagination or Media Count : 26

Abstract : Automatic design of circuits from high-level descriptions of their behavior requires that some physical constraints be included in behavioral specifications. This paper describes a simple but powerful mechanism for doing so. The key ideas behind this approach are attributes to represent physical parameters of a circuit and constraint statements to restrict the values that attributes may assume. Practical circuits have been described using these ideas. An algorithm for extracting constraints from specifications and deciding which parts of the specifications are subject to which constraints is also presented and proven correct.

Descriptors :   *ALGORITHMS, *CIRCUITS, *DIGITAL SYSTEMS, AUTOMATIC, BEHAVIOR, PARTS, PHYSICAL PROPERTIES, SPECIFICATIONS

Subject Categories : Electrical and Electronic Equipment
      Numerical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE