DIRECTORY Rope; IMSTester: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; Delay: TYPE = [0..31000); --valid in 1nS increments Width: TYPE = [20..31000); --valid in 10nS increments Sample: TYPE = [0..31000); --valid in 1nS increments Period: TYPE = [50..40000); --valid in 10nS increments ForceGroups: TYPE = LIST OF ForceGroup; ForceGroup: TYPE = REF ForceGroupRec; ForceGroupRec: TYPE = RECORD [ name: ROPE, podTimingGroups: PodTimingGroups, format: FormatType, delay: Delay, -- only if format is not NRZ, 0nS to 30.99uS, 1nS increments width: Width, -- only if format is not NRZ or DNRZ, 20nS to 30.99uS, 10nS increments programable: BOOL, -- indicates programable driver group hiDrive: REAL, -- only if programable driver, +/-5 volt range, 10mV increments loDrive: REAL]; -- only if programable driver, +/-5 volt range, 10mV increments FormatType: TYPE = {NRZ, DNRZ, RZ, R1, RC, RI}; AcquireGroups: TYPE = LIST OF AcquireGroup; AcquireGroup: TYPE = REF AcquireGroupRec; AcquireGroupRec: TYPE = RECORD [ name: ROPE, podTimingGroups: PodTimingGroups, sample: Sample, -- 0nS to 30.99uS, 1nS increments compare: BOOL, -- must have an adjacent pattern generator module programable: BOOL, -- indicates programable receiver group threshold: REAL]; -- only if programable receiver, +/-5 volt range, 10mV increments PodTimingGroups: TYPE = LIST OF PodTimingGroup; PodTimingGroup: TYPE = REF PodTimingGroupRec; PodTimingGroupRec: TYPE = RECORD [ slot: SlotNumber, board: Board, podTiming: PodTiming, pins: Pins]; SlotNumber: TYPE = [1..24]; -- Each module slot in the IMS mainframe is numbered 1 through 12, starting with the master and continuing up to a maximum of three slaves. Board: TYPE = [0..14); -- Current number of purchased Force/Acquire board pairs. PodTiming: TYPE = {A, B, AT, BT}; -- AT, BT must be RZ or R1 Pins: TYPE = LIST OF Pin; Pin: TYPE = REF PinRec; PinRec: TYPE = RECORD[ channel: Channel, --ignored if AT or BT signalName: ROPE, packagePin: NAT]; Channel: TYPE = [0..8); Buffer: TYPE = REF BufferRec; BufferRec: TYPE = RECORD[cycles: SEQUENCE cycle: Cycle OF CycleData]; Cycle: TYPE = [0..16*1024); CycleData: TYPE = REF CycleDataRec; CycleDataRec: TYPE = RECORD[eachCycle: ARRAY Board OF PACKED ARRAY PodChannel OF Data]; PodChannel: TYPE = [0..18); -- 0..7 = A0-A7, 8..15 = B0-B7, 16 = AT, 17 = BT Data: TYPE = RECORD[ forceData: BOOL, inhibit: BOOL, compareData: BOOL, mask: BOOL]; Jumps: TYPE = LIST OF Jump; Jump: TYPE = RECORD [ source: Cycle, destination: Cycle]; Errors: TYPE = LIST OF Error; Error: TYPE = RECORD [ cycle: Cycle, group: AcquireGroup, podTimingGroup: PodTimingGroup, pin: Pin, expected: BOOL, acquired: BOOL]; stop: BOOL; checkSyntax: BOOL; IMSError: SIGNAL [msg: ROPE]; RunDiagnostics: PROC [extended: BOOL _ TRUE]; Initialize: PROC RETURNS [forceBoard, acquireBoard, programable: PACKED ARRAY SlotNumber OF BOOLEAN]; DefineGroups: PROC [forceGroups: ForceGroups _ NIL, acquireGroups: AcquireGroups _ NIL]; RedefineGroups: PROC [forceGroups: ForceGroups _ NIL, acquireGroups: AcquireGroups _ NIL]; SetCyclePeriod: PROC [period: Period]; SetIMSMemory: PROC [forceGroups: ForceGroups, acquireGroups: AcquireGroups, buffer: Buffer, cycles: Cycle, halt: Cycle, jumps: Jumps _ NIL]; ErrorCount: PROC [] RETURNS [count: LONG CARDINAL]; GetErrors: PROC [acquireGroups: AcquireGroups, buffer: Buffer, maxErrors: NAT, startCycle: Cycle, lastCycle: Cycle] RETURNS [errors: Errors]; Start: PROC; Stop: PROC; Wait: PROC; -- waits for HALT instruction to be executed END. .IMSTester.mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Barth, December 3, 1985 12:38:36 pm PST Edited by: Gasbarro November 27, 1985 12:53:31 pm PST Gunther, December 2, 1985 4:45:40 pm PST Last Edited by: Gasbarro May 8, 1986 10:05:43 am PDT Theory Note: This interface does not support all the functionality of the hardware. If you don't see it here and need it then ask for it. This interface provides a procedural abstraction for the Integrated Measurement Systems Model 1000 test system. Types Globals Aborts the current IMS operation If TRUE the text that would normally be sent to the IMS is dumped into the file: ///IMSTester.synout Operations If extended is true then the state of the IMS memory is lost. Forces the IMS to its power up state. Interrrogates the IMS to determine the slot number, type, and characteristics of each module plugged into the system. Executes Resource, Format, HiDrive, LoDrive, Polarity, Radix, Sample, and Threshold commands. The polarity is always set to POS. The radix is always set to binary. DO NOT REORDER THE GROUPS OR THE POD TIMING GROUPS AFTER CALLING THIS PROCEDURE! Executes Format, HiDrive, LoDrive, Sample, and Threshold commands, but NOT Resource. Used to modify drive parameters after group has already been defined. Transfers stimulus from force and inhibit buffers to IMS. Set the halt instruction and any jump instructions. A fast operation to determine the number of errors. Starts looking for errors at startCycle and continues until "maxErrors" errors are found or lastCycle is reached. ‌ت¥– "cedar" styleک– "Cedar" styleڑœ™Jڑœ دmœ1™