DIRECTORY BasicTime, BitOps, BitSwOps, BitTwiddling, Core, CoreProperties, GetMe, IO, Rope, RoseBehavior, RoseBind, RoseControl, SwitchInvTesterRoseDefs;SwitchInvTesting: CEDAR PROGRAM=BEGIN OPEN RoseBehavior, RoseControl, SwitchInvTesterRoseDefs;Invert: ARRAY Level OF Level = [H: L, L: H, X: X];ToStrength: PROC [str: Strength, l: Level] RETURNS [sv: SwitchVal] = {sv _ SELECT l FROML => [s: [q: str, u: none, d: str], val: L],H => [s: [q: str, u: str, d: none], val: H],X => [s: [q: str, u: str, d: str], val: X],ENDCASE => ERROR;};TestSwitchInv: PROC [testeeType: Core.CellType,testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY,Eval: PROC]= {instr: REF SwitchInvTesterSwitch = NARROW[switchInstructions];instr.vdd _ ToStrength[input, H];instr.gnd _ ToStrength[input, L];FOR l: Level IN Level DOinstr.in _ ToStrength[drive, l];Eval[];IF instr.out.val # Invert[l] THEN ERROR;ENDLOOP;stateAny _ stateAny;};END.   „  SwitchInvTesting.mesaCopyright c 1985 by Xerox Corporation.  All rights reversed.Spreitzer, October 1, 1985 6:51:56 pm PDT Ê‹  –"cedar" style˜ –"Cedar" stylešœ™Jšœ
Ïmœ1™<Icode™)—J˜ KšÏk	œIžœE˜™K˜ šÏbœžœž˜Kšœ˜—K˜ Kšžœžœ4˜>K˜ Kšœžœžœ˜2K˜ šÏn
œžœžœ˜Fšœžœž˜Kšœ,˜,Kšœ,˜,Kšœ+˜+Kšžœžœ˜—K˜—K˜ ˜šœžœ˜Kšœ˜KšœOžœžœ˜WKš œž˜
Kšœ˜—˜Kšœžœžœ˜>K˜!K˜!šžœ
žœž˜Kšœ ˜ K˜Kšžœžœžœ˜(Kšžœ˜—Kšœ˜K˜——K˜ Kšžœ˜— …—    Ú  é  