ShiftCapXForms.3

Last Edited by: Spreitzer, November 17, 1984 4:08:14 pm PST

EQT

SGF CompareTransforms

← &d ← %CompareRead.ReadDesign["[Indigo]<Rosemary>2.6>ShiftCap>ShiftCap-Dir.DF"]

← %CompareNormal.CheckDesign[&d, ignore]

← %CompareNormal.CheckDesign[&d, check]

← %CompareNormal.CheckDesign[&d, establish]

← %CompareWrite.WriteDesign[&d, "ShiftCapT0", "[Indigo]<Rosemary>2.6>ShiftCap>"]

open ShiftCapT0-Dir.DF

← &lowerAns ← LowerChildren[&d, "NBitSR[n: 5B (5)]", NamesListToSeq[&list[ [designed: &list["cnt"]] ]], VVSMapFromTIIlNames[&d, &list[["TopNBitSR[n: 5B (5)]", "shifter", &list["cntr"]]]], [DontNameNewPort, NIL]]

← %CompareWrite.WriteDesign[&d, "ShiftCapT1", "[Indigo]<Rosemary>2.6>ShiftCap>"]

open ShiftCapT1-Dir.DF

← &raiseAns ← RaiseGrandchildren[&d, &lowerAns.gcs, [NameNewPortFromOld, NIL]]

← %CompareWrite.WriteDesign[&d, "ShiftCapT2", "[Indigo]<Rosemary>2.6>ShiftCap>"]

open ShiftCapT2-Dir.DF

← ExpandChildren[&d, "NBitSR[n: 5B (5)]"]

← %CompareWrite.WriteDesign[&d, "ShiftCapT3", "[Indigo]<Rosemary>2.6>ShiftCap>"]

open ShiftCapT3-Dir.DF

← &raiseAns ← RaiseGrandchildren[&d, LIST[LIST["NBitSR[n: 5B (5)]", "SRWC0"], LIST["NBitSR[n: 5B (5)]", "SRWC1"]], [NameNewPortFromOldNet, NIL]]

← %CompareWrite.WriteDesign[&d, "ShiftCapT4", "[Indigo]<Rosemary>2.6>ShiftCap>"]

open ShiftCapT4-Dir.DF

← &lowerAns ← LowerChildren[&d, "NBitSR[n: 5B (5)]", NamesListToSeq[&list[[designed: &list["kownter"]], [designed: &list["srwc0"]]]], VVSMapFromTIIlNames[&d, &list[["TopNBitSR[n: 5B (5)]", "shifter", LIST["cntr", "shifter.SRWC0"]]]], [NameNewPortFromOldNet, NIL]]

← %CompareWrite.WriteDesign[&d, "ShiftCapT5", "[Indigo]<Rosemary>2.6>ShiftCap>"]

open ShiftCapT5-Dir.DF