
    <<RoseTest.cm>>
        <<Copyright © 1985 by Xerox Corporation.  All rights reserved.>>
        <<Barth, January 9, 1986 5:40:16 pm PST>>
        <<Bertrand Serlet March 14, 1986 4:24:59 pm PST>>

    LoadCore
    Run BitHacksImpl
    Run -a PortsImpl
    Run -a RosemaryImpl
    Run -a SSIImpl
    <<>>
    _ &AndVdd _ 0;
    _ &AndGnd _ 1;
    _ &AndInput _ 2;
    _ &AndOutput _ 3;

    _ &ct _ SSI.And[2]

    _ Ports.InitTesterDrive[wire: &ct.public[&AndInput][0], initDrive: force]
    _ Ports.InitTesterDrive[wire: &ct.public[&AndInput][1], initDrive: force]
    _ Ports.InitTesterDrive[wire: &ct.public[&AndOutput], initDrive: none]

    _ Rosemary.SetFixedWire[&ct.public[&AndVdd], H]
    _ Rosemary.SetFixedWire[&ct.public[&AndGnd], L]
    _ &tp _ Ports.CreatePort[&ct.public, TRUE]

    -- _ CoreOps.PrintCellType[&ct, ProcessProps.GetProp[$CommanderHandle].out]
    -- _ &sim _ Rosemary.InstantiateCellType[&ct, &tp]
    -- _ &sim _ Rosemary.InstantiateInstances[&ct, &tp, "JustAboveTransistors"]
    _ &sim _ Rosemary.InstantiateInstances[&ct, &tp]

    _ &bits _ RosemaryImpl.AllocateLevelSequence[1]

    _ &tp[&AndInput][0].b _ FALSE
    _ &tp[&AndInput][1].b _ FALSE
    _ Rosemary.Settle[&sim, NIL]
    _ &tp[&AndOutput].b  -- FALSE
    _ Rosemary.GetWireValue[&sim, NIL, &ct.public[&AndOutput], &bits]
    _ &bits[0]  -- L

    _ &tp[&AndInput][0].b _ TRUE
    _ &tp[&AndInput][1].b _ TRUE
    _ Rosemary.Settle[&sim, NIL]
    _ &tp[&AndOutput].b  -- TRUE
    _ Rosemary.GetWireValue[&sim, NIL, &ct.public[&AndOutput], &bits]
    _ &bits[0]  -- H

    _ &tp[&AndInput][0].b _ TRUE
    _ &tp[&AndInput][1].b _ FALSE
    _ Rosemary.Settle[&sim, NIL]
    _ &tp[&AndOutput].b  -- FALSE
    _ Rosemary.GetWireValue[&sim, NIL, &ct.public[&AndOutput], &bits]
    _ &bits[0]  -- L
    -- _ Rosemary.GetWireValue[&sim, LIST[&ct.data[0]], &ct.data[0].type.data[0].actual[1], &bits]
    -- _ &bits[0]  -- H

    _ &tp[&AndInput][0].b _ FALSE
    _ &tp[&AndInput][1].b _ TRUE
    _ Rosemary.Settle[&sim, NIL]
    _ &tp[&AndOutput].b  -- FALSE
    _ Rosemary.GetWireValue[&sim, NIL, &ct.public[&AndOutput], &bits]
    _ &bits[0]  -- L
    -- _ Rosemary.GetWireValue[&sim, LIST[&ct.data[0]], &ct.data[0].type.data[0].actual[1], &bits]
    -- _ &bits[0]  -- L