DIRECTORY AlpsBool, CD, Convert, PW, Rope; MCCtl: CEDAR DEFINITIONS IMPORTS AlpsBool = BEGIN OPEN AlpsBool; ctlOutNames: LIST OF Rope.ROPE; InitCtlOutNames: PROC[]; AddListToCtlOutNames: PROC[names: LIST OF Rope.ROPE]; AddTableToCtlOutNames: PROC [table: TableOfVariables]; Counter: PROC [table: TableOfVariables]; Microcode: PROC [table: TableOfVariables]; Order: PUBLIC PROC [table: TableOfVariables]; StateMachine: PUBLIC PROC [table: TableOfVariables]; CreateTable: PROC [names: LIST OF ROPE] RETURNS [table: TableOfVariables]; EqualInt: PROC [table: TableOfVariables, rope: ROPE, start, end, value: INT] RETURNS [Expression]; FindInternal: PROC [table: TableOfVariables, rope: ROPE] RETURNS [internalIndex: INT]; Find: PROC [table: TableOfVariables, rope: ROPE] RETURNS [Expression]; DefaultDontCare: PROC [] RETURNS [Expression] = INLINE {RETURN[false]}; GenerateLayout: PROC [design: CD.Design, table: TableOfVariables, distanceBetweenGlue: INT _ 5] RETURNS [obj: CD.ObPtr]; InputsFromTable: PROC [table: TableOfVariables] RETURNS [inputs: LIST OF ROPE _ NIL]; Permute: PROC [table: TableOfVariables, permute: PermuteFlags _ permuteFast] RETURNS [newTable: TableOfVariables]; PermuteFlags: TYPE = {dontPermute, permuteFast, permuteAllCases}; ListSize: PROC [list: LIST OF ROPE] RETURNS [size: INT]; ListCat: PROC [l1, l2: LIST OF ROPE] RETURNS[l3: LIST OF ROPE]; MakeAlpsLatchandDrive: PROC [design: CD.Design, target: PW.ObPtr] RETURNS [result: PW.ObPtr]; MakeFeedBackLatchandDrive: PROC [design: CD.Design, signals: LIST OF ROPE] RETURNS [result: PW.ObPtr]; MakeFeedBack: PROC [design: CD.Design, alpsTarget, latchTarget: PW.ObPtr] RETURNS [result: PW.ObPtr]; END.  MCCtl.mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Created by: Sindhu, June 20, 1985 6:54:42 pm PDT Last Edited by: Sindhu, July 5, 1985 2:15:57 am PDT List of names that will appear on the ctlOut bus, and routines for manipulating this list The generators: Now the utility routines: The constructors: The names of the signals here correspond to those at the input of the feedback latch Κς˜code™ Kšœ Οmœ1™