DIRECTORY Core, CoreFlatten; RoseControl: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Core.ROPE; Simulation: TYPE = REF SimulationRec; SimulationRec: TYPE; Instantiate: PROC [cellType: Core.CellType, expansionControl: CoreFlatten.FlattenControl] RETURNS [simulation: Simulation]; flattenToBehavior: CoreFlatten.FlattenControl; FlattenStructure: PROC [from: Core.CellType] RETURNS [CoreFlatten.FlattenControl]; Test: PROC [simulation: Simulation, testProc: TestProc, testData: REF ANY _ NIL, stateToo: BOOL _ FALSE, steady: BOOL _ TRUE]; TestProc: TYPE = PROC [ testeeType: Core.CellType, testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY, Eval: PROC ]; END. ξRoseControl.mesa Copyright c 1985 by Xerox Corporation. All rights reversed. Barth, August 1, 1985 2:31:39 pm PDT Spreitzer, October 2, 1985 4:20:38 pm PDT Theory This interface describes the instantiation of Rosemary simulation data structures and the control of simulations. Instantiation The information required to instantiate a simulation consists of several parts. A pointer to a Core.CellType provides the hierarchical definition of the circuit to be simulated. Implementation Κq– "cedar" style˜– "Cedar" stylešœ™Jšœ Οmœ1™