<> <> CommandToolProcedures PrettyPrint LoadRosemary Addd [Indigo]Core> Run RoseDebug MakeDo SwitchInv Run SwitchInv _ &design _ CoreOps.CreateDesign["SwitchInvTest"] _ &ict _ SwitchInv.DefineInverter[&design] <<_ CoreOps.PrintDesign[&design, &stdout[]]>> <<_ &ibc _ RoseBindPrivate.GetBehaviorClass[&ict, FALSE, FALSE, TRUE]>> <> <<_ &ibc _ RoseBindPrivate.GetBehaviorClass[&ict, FALSE, TRUE, TRUE]>> _ &sim _ RoseControl.Instantiate[cellType: &ict, expansionControl: RoseControl.FlattenStructure[&ict]] MakeDo SwitchInvTesting Run SwitchInvTesting _ RoseControl.Test[&sim, SwitchInvTesting.TestSwitchInv]