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
Distribution Statement : APPROVED FOR PUBLIC RELEASE