ChipStatic.mesa
Copyright © 1985 by Xerox Corporation. All rights reversed.
Last Edited by: Barth, July 11, 1985 2:07:24 pm PDT
DIRECTORY ChipStructure;
ChipStatic: CEDAR DEFINITIONS = BEGIN
Theory
The implementation of this interface performs a number of interesting static checks on a design. For starters it runs over the design and checks that the attributes on the ports of the flavor $StcIn, $StcOut, $StcTristate, $StcBidir make sense. It assumes that a port is of type $StcIn if no such property appears.
Implementation
Design: TYPE = ChipStructure.Design;
CheckDesign: PROC [design: Design];
END.