DIRECTORY CardTab, Rope, SymTab;Sage: CEDAR DEFINITIONS = BEGINROPE: TYPE = Rope.ROPE;Ns: TYPE = CARD;Format: TYPE = {NRZ, RZ, RO, RC, RT};TimingGroup: TYPE = REF TimingGroupRec;TimingGroupRec: TYPE = RECORD[format: Format,delay: Ns,width: Ns,sample: Ns,variableThreshold: BOOL,variableLevels: BOOL];BoolSequence: TYPE = REF BoolSequenceRec;BoolSequenceRec: TYPE = RECORD[elements: SEQUENCE size: CARDINAL OF BOOL];  -- bitProgramming: TYPE = REF ProgrammingRec;ProgrammingRec: TYPE = RECORD[timingGroups: SymTab.Ref, -- ROPE to TimingGroupnameDutPinTimingGroup: SymTab.Ref, -- ROPE to DutPinTimingGroupsdutPinFixturePin: CardTab.Ref, -- Card to Ref CardfixturePinChipChannel: CardTab.Ref, -- Card to ChannelAddresscolumnNames: CardTab.Ref, -- Card to ROPEvectors: ParsedVectors];DutPinTimingGroups: TYPE = LIST OF DutPinTimingGroup;DutPinTimingGroup: TYPE = REF DutPinTimingGroupRec;DutPinTimingGroupRec: TYPE = RECORD[index: CARD,dutPin: CARD,timingGroup: ROPE];ChannelAddress: TYPE = REF ChannelAddressRec;ChannelAddressRec: TYPE = RECORD[chip: CARD,channel: CARD];ParsedVectors: TYPE = REF ParsedVectorsRec;ParsedVectorsRec: TYPE = RECORD[elements: SEQUENCE size: CARDINAL OF ParsedVector];  -- cycleParsedVector: TYPE = REF ParsedVectorRec;ParsedVectorRec: TYPE = RECORD[elements: SEQUENCE size: CARDINAL OF ParsedVectorTriple];  -- column tripletParsedVectorTriple: TYPE = REF ParsedVectorTripleRec;ParsedVectorTripleRec: TYPE = RECORD[value: BoolSequence,inhibit: BoolSequence,mask: BoolSequence];channelsPerChip: CARD = 16;inhibitMaskPerChip: CARD = 16;bytesPerAddress: CARD = 4;vectorAddressesPerChip: CARD = 1024;ChannelIndex: TYPE = [0..channelsPerChip);InhibitMaskIndex: TYPE = [0..inhibitMaskPerChip);ByteIndex: TYPE = [0..bytesPerAddress);Fixture: TYPE = REF FixtureRec;FixtureRec: TYPE = RECORD[elements: SEQUENCE size: CARDINAL OF Chip]; -- chip addressChip: TYPE = REF ChipRec;ChipRec: TYPE = RECORD[formatTiming: ARRAY ChannelIndex OF TimingGroup,  -- may be NILinhibitMask: ARRAY InhibitMaskIndex OF InhibitMaskArray,vectors: SEQUENCE size: CARDINAL OF MachineVector];  -- vectorAddressesPerChipInhibitMaskArray: TYPE = ARRAY ChannelIndex OF InhibitMask;InhibitMask: TYPE = RECORD[inhibit: BOOL,mask: BOOL];MachineVector: TYPE = RECORD[elements: ARRAY ByteIndex OF Byte10];Byte10: TYPE = [0..1024);Error: ERROR [msg: ROPE _ NIL];Parse: PROC [file: ROPE] RETURNS [program: Programming];Transform: PROC [program: Programming] RETURNS [fixture: Fixture];Pickle: PROC [fixture: Fixture, file: ROPE];Unpickle: PROC [file: ROPE] RETURNS [fixture: Fixture];END.   ф  Sage.mesaBarth, September 21, 1988 8:55:14 am PDTTheoryThis interface describes the syntax and semantics of the information read from files to drive the Testarossa tester.Syntax Notationitem | item = choose one?item = zero or one itemSMALL CAPS or puncuation other than bold ()?| = terminals::= = keyword on left hand side is defined by expression on right hand sideGrammar1. TestFile ::=  TimingGroups NameDutPinTimingGroup DutPinFixturePin FixturePinChipChannel ColumnNames Vectors END2. TimingGroups ::= TIMINGGROUPS ? ( Name Format Number Number Number Bool Bool ; )3. Format ::= RZ | RO | RC | NRZ4. NameDutPinTimingGroup ::= NAMEDUTPINTIMINGGROUP ? ( SignalName Number Name ; )5. DutPinFixturePin ::= DUTPINFIXTUREPIN ? ( Number Number ; )6. FixturePinChipChannel ::= FIXTUREPINCHIPCHANNEL ? ( Number Number Number ; )7. ColumnNames ::= COLUMNNAMES <see note>8. Vectors ::= VECTORS ? ( CR ? (Number Number Number ) )9. SignalName ::= Name ? ( [ Number ] )Bool ::= T | t | F | fName ::= Letter ?LetterDigitStringLetterDigitString ::= (Letter | Digit) ?LetterDigitStringNumber ::= Digit ?NumberLetter ::= one of a-z | one of A-ZDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9CR ::= <carriage return>Grammar NotesWhite space may appear anywhere except inside Name or Number.  Reserved words are matched ignoring case.  Reserved words may not be used where other identifiers are required although this is not checked.  Anywhere a token, i.e. a reserved word, name, number or seperator, may appear it is also legal to apply the following rule:INCLUDE Name ? ( . Name )This will cause the contents of the file named by the concatenation of all names to replace the include rule.2. The numbers respectively refer to delay, width, and sample.  Normally unused timing data should be set to zero.  The booleans refer to variableThreshold and variableLevels.4. The first name is the name of the signal.  The number is the pin number of the device under test.  The second name is the name of the timing group to which the pin belongs.5. The numbers refer to the device under test pin number and the fixture pin number.6. The first number is the fixture pin number.  The second is the address of the chip.  The third is the address of the channel within the chip.  Note that the addresses start at zero while all of the pin numbers start at one.7. The column names bind the position of a column of vector triplets to signal names.  In order to make this legible the names are printed vertically.  Trying to describe this with BNF seems a waste of time so just look at the code and examples to infer a definition.  The names are allowed to eliminate one level of square brackets to make describing the values of buses more concise.  The number of bits in a bus is derived from the NameDutPinTimingGroup declarations by looking for the min and max indicies.8. The first number is the value, the second is the inhibit, and the third is the mask.  If both the inhibit and mask data for a bit are ones then the value bit is not used and should normally be set to zero.  A one in inhibit disables the tester from driving the device under test.  A one in mask disables the tester from checking that the sense data matches the value.  The number of (value, inhibit, mask) triplets must match the number of column names.Types and ConstantsParsed inputMachine ModelThis machine model does not account for calibration and so the timing information is still abstract.  It also doesn't worry about scope loops.ErrorsProceduresЭ╩b  Ш codeЪЬ	Щ	KЪЬ(Щ(ЧKЩ Ъ╧k	ЬШ KШ ЧKЪ╧nЬЭЬЭЬЭШheadЩIbodyЩtЩMЪЬ╧bЬЩMЪЯЬЩMЪЭ
ЬЯЬЩ9MЪЯЬHЩKЧLЪЬЩIitemЪЬЯЬ`ЭЩrNЪ	ЬЯЬЭЯЭЯЬ-ЯЩSNЪЬЯЬЭЯЬЭЯЬЭЯЬЭЩ NЪ	ЬЯЬЭЯЭЯЬЯЩQNЪ	ЬЯЬЭЯЭЯЬЯЩ>NЪ	ЬЯЬЭЯЭЯЬЯЩONЪЬЯЬЭЬ
Щ)NЪЬЯЬЭЯЭЯЬЯЭЯЬЯЬЯЩ9NЪ	ЬЯЬЭЯЭЯЬЯЩ'NЩ NЪЯ	ЬЯЬЯЬЯЬЩNЪЯ	ЬЯЬЩ"NЪЯЬЯЬЯЬЩ9NЪЯЬЯЬЩNЪЯЬ
ЯЬ
Щ"NЪЯ	ЬЭЬЯЭЯЭЯЭЯЭЯЭЯЭЯЭЯЭЯЭЩ/NЪЯЬЭЩЪЬЩЪЬ.ЯЬЯЬМЩ╚NЪЭЬЯЭЯЬЯЩMЩmЧNЪЬпЩпNЩпNЩTNЩтNЩ■NЩ╚ЧЧЩKЪЭЬЭЬЭЬШKЪЬЭЬЭЬШЪЬЭЬЭЬЭЬЭЬЭЬЭЬШ%KШ ЧKЪЬЭЬЭЬШ'ЪЬЭЬЭЬШKЪЬШKЪЬ
Ш
KЪЬ
Ш
KЪЬШKЪЬЭЬШKЪЬЭЬШKШ ЧKЪЬЭЬЭЬШ)ЪЬЭЬЭЬЭЬЭЬЭЬЭЬ╧cШRKШ KШ ЧЩKЪЬЭЬЭЬШ'ЪЬЭЬЭЬШKЪЬаШ0KЪЬ#аШ@KЪЬаШ2KЪЬ$аШ=KЪЬаШ)KЪЬШKШ ЧKЪЬЭЬЭЬЭЬШ5KЪЬЭЬЭЬШ3ЪЬЭЬЭЬШ$KЪЬЭЬШKЪЬЭЬШKЪЬЭЬШKШ ЧKЪЬЭЬЭЬШ-ЪЬЭЬЭЬШ!KЪЬЭЬШKЪЬ	ЭЬШKШ ЧKЪЬЭЬЭЬШ+KЪЬЭЬЭЬЭЬЭЬЭЬаШ]KЪЬЭЬЭЬШ)ЪЬЭЬЭЬЭЬЭЬЭЬаШkKШ ЧKЪЬЭЬЭЬШ5ЪЬЭЬЭЬШ%KЪЬШKЪЬШKЪЬШKШ ЧЧЩLЩОKЪЬЭЬШKЪЬЭЬШKЪЬЭЬШЪЬЭЬШ$KШ ЧKЪЬЭЬШ*KЪЬЭЬШ1ЪЬЭЬШ'KШ ЧKЪЬ	ЭЬЭЬШЪЬЭЬЭЬШKЪЬ
ЭЬЭЬЭЬаШ;KШ ЧKЪЬЭЬЭЬ	ШЪЬ	ЭЬЭЬШKЪЬЭЬЭЬаШ?KЪЬЭЬЭЬШ8KЪЬ	ЭЬЭЬЭЬаШNKШ ЧKЪЬЭЬЭЬЭЬШ;ЪЬЭЬЭЬШKЪЬ	ЭЬШKЪЬЭЬШKШ ЧЪ	ЬЭЬЭЬЭЬЭЬ	ШBKШ ЧKЪЬЭЬШЧЧЩKЪЬЭЬЭЬЭЬШЧЩ
ЪЮЬЭЬЭЬЭЬШ8KШ ЧЪЮ	ЬЭЬЭЬШBKШ ЧЪЮЬЭЬЭЬШ,KШ ЧЪЮЬЭЬЭЬЭЬШ7KШ ЧЧKЪЭЬШЧ ЕЧ    
h  о  