(FILECREATED " 8-Sep-86 10:35:05" {ERIS}<TAMARIN>TSIM>TEMP.;4 14748
changes to: (VARS TEMPCOMS killdxs))
(* Copyright (c) 1986 by Xerox Corporation. All rights reserved.)
(PRETTYCOMPRINT TEMPCOMS)
(RPAQQ TEMPCOMS ((FNS MakeTransCompList ctltest)))
(DEFINEQ
(MakeTransCompList
[LAMBDA NIL (* agb: " 8-Sep-86 10:32")
(SETQ pPre 0)
(SETQ pClock 0)
(SETQ pOp 0)
(SETQ pMicro 0)
(SETQ pFirstCy 0)
(SETQ pSecondCy 0)
(SETQ #OpLength=0 0)
(SETQ #$OpLength=0 0)
(SETQ pMicro&NewOp 0)
(SETQ @Read 0)
(SETQ @Write 0)
(SETQ *Read 0)
(SETQ *Write 0)
(SETQ @MemRead 0)
(SETQ @MemWrite 0)
(SETQ *FirstCy 0)
(SETQ *SecondCy 0)
(SETQ #WriteOk 0)
(SETQ $WriteOk 0)
(SETQ *MemRead 0)
(SETQ *DoReset 0)
(SETQ @WriteOctal~ 1)
(SETQ D1 0)
(SETQ D2 0)
(SETQ RE 0)
(SETQ RO 0)
(SETQ PC 0)
(SETQ @RegAddr~ 0)
(SETQ @RegCxt~ 0)
(SETQ $NewOp 0)
(SETQ $OpLength=0 0)
[SETQ nodemapnames (APPEND [transbits (QUOTE ((RE Dswap-In 32 eDat)
(RO Dswap-In 32 oDat)
(#OPCODE DataPath-Op 8 #Opcode)
(VAD' DataPath-Out 24 (LNot @VirAddr))
(VAD DataPath-Out 24 @VirAddr)
(D1 DataPath-Out 32 D1)
(D2 DataPathD2Set 32 D2)
(#IBUFN DataPath-Out 8 #IBufN)
(#UK Rom-Out 9 (#MIR (MI K)))
(#UARG' Rom-Out 2 (#MIR (MI Arg')))
(#URADDR Rom-Out 3 (#MIR (MI Raddr)))
(#UWADDR Rom-Out 3 (#MIR (MI Waddr)))
(#URCXT Rom-Out 3 (#MIR (MI RCxt)))
(#UWCXT Rom-Out 3 (#MIR (MI WCxt)))
(#$OPCODE RegMux-Out 8 #$Opcode)
(#TOS RegMux-Out 6 #Tos)
(#TOS' RegMux-Out 6 #Tos')
(#ARG' RegMux-Out 6 #Arg')
(#ARG RegMux-Out 8 #Arg)
(#ARG2 RegMux 6 #Arg2)
(#NEWARG2~ RegMux 6 #NewArg2~)
(#NEWARG~ RegMux-Out 8 #NewArg~)
(#NEWTOS~ RegMux-Out 6 #NewTos~)
(@REGADDR~ RegMux-Out 6 @RegAddr~)
(@REGCXT~ RegMux-Out 3 @RegCxt~)
(@MUXRDSEL~ RegMux-Out 8 @MuxRdSel~)
(#TOPCXT RegMux-Out 2 #TopCxt)
(#BOTCXT RegMux-Out 2 #BotCxt)
(#BOT+1CXT RegMux-Out 2 #Bot+1Cxt)
(#BOT-1CXT RegMux-Out 2 #Bot-1Cxt)
(#TOP+1CXT RegMux-Out 2 #Top+1Cxt)
(#TOP-1CXT RegMux-Out 2 #Top-1Cxt)
(#NEWBOTCXT~ RegMux-Out 2 #NewBotCxt~)
(#NEWTOPCXT~ RegMux-Out 2 #NewTopCxt~)
(@QUAD ClockPla 2 @Quad)
(#UNEWTOS Rom-Out 3 (#MIR (MI NewTos)))
(#UNEWTOPCXT Rom-Out 2
(#MIR (MI NewTopCxt)))
(#UNEWARG2 Rom-Out 2 (#MIR (MI NewArg2)))
(#UNEWARG Rom-Out 3 (#MIR (MI NewArg)))
(#UNEWBOTCXT Rom-Out 2
(#MIR (MI NewBotCxt)))
($OPLENGTH OpPla-Out 3 $OpLength)
(#STARTADDR OpPla-Out 8 #StartAddr)
(#UCONDCODE Rom-Out 7 (#MIR (MI CondCode)))
(#UCYCLE Rom-Out 3 (#MIR (MI Cycle)))
(#UEUOP Rom-Out 6 (#MIR (MI EUop)))
(#UMISC Rom-Out 5 (#MIR (MI Misc)))
(#UMUXRDSEL Rom-Out 3 (#MIR (MI MuxRdSel)))
(#UNEXTINSTA Rom-Out 9
(#MIR (MI NextInstA)))
(#UNEXTINSTB Rom-Out 9
(#MIR (MI NextInstB)))
(#UPC SNI-Out 8 #uPC)
(#URD1ADDR Rom-Out 2 (#MIR (MI RD1addr)))
(#URD2ADDR Rom-Out 3 (#MIR (MI RD2addr)))
(#UW2ADDR Rom-Out 3 (#MIR (MI W2addr)))
(#UTAG Rom-Out 2 (#MIR (MI Tag)))
(RADDR VMM-Out 12 @RAddr)
(XRADDR RPads 10 @RAddr]
[packname (QUOTE ((RD- DPads -32 39 0 D2]
(QUOTE ((GNDP Allways 0)
(VDDP Allways 1)
(V10 Allways 1)
(V10P Allways 1)
(PHIMICRO ClockPla pMicro)
(PHIMICRO&WRITEOK ClockPla pMicro&WriteOk)
(PHIMICRO&NEWOP ClockPla pMicro&NewOp)
(PHIOP ClockPla pOp)
(PHIPRE ClockPla pPre)
(PHIPRE7 ClockPla pPre)
(PHICLOCK ClockPla pClock)
(PHIREAD ClockPla pRead)
(PHIWRITE ClockPla pWrite)
(PHIFIRSTCY ClockPla pFirstCy)
(PHISECONDCY ClockPla pSecondCy)
(PHIMEMREAD ClockPla pMemRead)
(@READ ClockPla @Read)
(@WRITE ClockPla @Write)
(@MEMREAD ClockPla @MemRead)
(@MEMWRITE ClockPla @MemWrite)
(+DORESET ClockPla *DoReset)
(+WRITE-VMM ClockPla *Write-VMM)
(+MEMCYCLE ClockPla *MemCy)
(PADL1.+MEMCY ClockPla *MemCy)
(+CASH ClockPla *CasH)
(+MEMDIR ClockPla *MemDir)
(+READ ClockPla *Read)
(+WRITE ClockPla *Write)
(+MEMREAD ClockPla *MemRead)
(+SECONDCY ClockPla *SecondCy)
(+FIRSTCY ClockPla *FirstCy)
($WRITEOK ClockPla $WriteOk)
($NEWOP ClockPla $NewOp)
(@#FAULT ClockPla @#Fault)
(XCLOCKD35 Pads-In ClkD35)
(XCLOCKD10 Pads-In ClkD10)
(XCLOCK Pads-In (((Not pClock)
0 1 0)))
(XPRE Pads-In (((Not pPre)
0 1 0)))
(XHOLD Pads-In Hold)
(XINTERRUPT Pads-In Interrupt)
(XREFRESH Pads-In Refresh)
(XRESET Pads-In Reset)
(XWE~ RPads-Out WE~)
(PRECHARGE Pins-In (((Not pPre)
0 1 0)))
(CLOCK Pins-In (((Not pClock)
0 1 0)))
(HOLD Pins-In Hold)
(INTERRUPT Pins-In Interrupt)
(REFRESH Pins-In Refresh)
(RESET Pins-In Reset)
(#ARG=0 RegMux-Out (((Eval (OZ (EQ #Arg 0)))
0 1 0)))
(#ARG=ARG2 RegMux (((Eval (OZ (EQ #Arg #Arg2)))
0 1 0)))
(#FRAMESEMPTY RegMux-Out #FramesEmpty)
(#FRAMESFULL RegMux-Out #FramesFull)
(#UTOS' Rom-Out (((#MIR (MI Tos'))
0 1 0)))
(#$REFCNT Misc-Out #$RefCnt)
(#$STACKREFILL Misc-Out #$StackRefill)
(#INTERRUPT Misc-Out #Interrupt)
(@INITIALREFILL Misc-Out @InitialRefill)
(#$OPLENGTH=0 Misc-Out #OpLength=0)
($OPLENGTH=0 Misc-Out $OpLength=0)
(#REFRESH Misc-Out #Refresh)
(#$OUTPUTINTERRUPT Misc-Out #$OutputInt)
($HOLD Misc-Out $Hold)
(@RESET Misc-Out @Reset)
(#$INTERRUPTENABLE Misc-Out #$InterruptEnable)
(@RESET-VMM Misc-Out @Reset-VMM)
(@WRITEOCTAL Misc-Out @WriteOctal)
(@WRITEOCTAL~ Misc-Pla (((Not @WriteOctal)
0 1 0)))
(#CONDA CondA #CondA)
(#CONTREFILL DataPath-Out #ContRefill)
(COUT Euop-CCodes @carry)
(GT Euop-CCodes @greaterp)
(OFL Euop-CCodes @overflow)
(#FORCENEWOP OpPla-Out #ForceNewOp)
(#MODSTARTADDR OpPla-Out #ModStartAddr)
(#MODSTARTADDR~ OpPla-Out (((Not #ModStartAddr)
0 1 0)))
(#NEWOP CCode-Out #NewOp)
(#WRITEOK CCode-Out #WriteOk)
(#REFILLRQ CCode-Out #RefillRq)
(#SELNEXTINSTA CCode-Out #SelNextInstA)
(#SELNEXTINSTB CCode-Out #SelNextInstB)
(#UWDDR-0 Rom-Out (((#MIR (MI Waddr))
0 1 0)))
(#UCWRITE Rom-Out (((#MIR (MI CWrite))
0 1 0)))
(#UCWRITE~ Rom-Out (((Not (#MIR (MI CWrite)))
0 1 0)))
(#UDSWAP Rom-Out (((#MIR (MI Dswap))
0 1 0)))
(#FAULT VMM-Out #Fault)
(#VMREFILL VMM-Out #VMRefill)
(SELRAS/CAS~ PadLogic @Ras-Cas~)
(RAS~-0 PadLogic RAS-0~)
(RAS~-1 PadLogic RAS-1~)
(RAS~-2 PadLogic RAS-2~)
(RAS~-3 PadLogic RAS-3~)
(WE~ PadLogic WE~)
(CAS~ PadLogic CAS~)
(XCAS~ RPads CAS~)
(XHOLDA RPads ((0 0 1 0)))
(XOUTPUTINTERRUPT RPads ((0 0 1 0)))
(XWE~ RPads WE~)
(XRAS~-0 RPads RAS-0~)
(XRAS~-1 RPads RAS-1~)
(XRAS~-2 RPads RAS-2~)
(XRAS~-3 RPads RAS-3~]
[SETQ nodemaplist (for i in nodemapnames when (findnode (CAR i))
collect (CONS (if (findnode (CAR i))
then (findnode (CAR i))
else (PRINTOUT T "Node not Found: " (CAR i)
T)
(QUOTE (noop none 0)))
(CDR i]
(PROG [(l (for i in nodemaplist collect (CADR i]
(SETQ typelist (INTERSECTION l l])
(ctltest
[LAMBDA (testtype) (* agb: " 8-Sep-86 10:32")
[SETQ setsections (COPY (QUOTE (Pads-In Dswap-In Allways]
(SETQ compsections NIL)
(SETQ ionodes NIL)
(SETQ plist NIL)
(SETQ DoTransSim T)
[if (NOT testtype)
then (SETQ testtype (QUOTE (ClockPla RegMux OpPla SNI-Out CCode-Out Misc-Out PadLogic
VMM-Out Rom-Out]
(if (NOT (LISTP testtype))
then (SETQ testtype (LIST testtype)))
(for i in testtype
do (SELECTQ i
[DataPath-Out [SETQ compsections
(APPEND compsections
(COPY (QUOTE (DataPath-Out DataPath-Op
DataPathD2Set
Euop-CCodes CondA]
[SETQ setsections
(APPEND setsections
(COPY (QUOTE (Rom-Out Dswap-In ClockPla Misc-Out
RegMux-Out CCode-Out
SNI-Out OpPla-Out]
(SETQ ionodes (APPEND ionodes (COPY (QUOTE (DataPathD2Set
CondA]
[Rom-Out (SETQ compsections (CONS (QUOTE Rom-Out)
compsections))
(SETQ setsections
(APPEND setsections
(COPY (QUOTE (ClockPla Misc-Out DataPath-Out
RegMux-Out CCode-Out SNI-Out]
[VMM-Out (SETQ compsections (CONS (QUOTE VMM-Out)
compsections))
(SETQ setsections (APPEND setsections (COPY
(QUOTE (ClockPla DataPath-Out]
[PadLogic (SETQ ionodes (APPEND (COPY (QUOTE (RPads DPads DPads-Out)))
ionodes))
(SETQ compsections
(APPEND (COPY (QUOTE (PadLogic Pins-In Pads-Out RPads DPads
DPads-Out)))
compsections))
(SETQ setsections (APPEND setsections
(COPY (QUOTE (ClockPla VMM-Out]
[RegMux (SETQ compsections (CONS (QUOTE RegMux-Out)
compsections))
[SETQ setsections (APPEND setsections
(COPY (QUOTE (Rom-Out ClockPla
DataPath-Out
Misc-Out]
(SETQ plist (COPY (QUOTE ((@REGADDR~)
(#TOS)
(#ARG)
(#ARG2]
[ClockPla (SETQ compsections (CONS (QUOTE ClockPla)
compsections))
(SETQ setsections (APPEND setsections
(COPY (QUOTE (Rom-Out VMM-Out
CCode-Out
Pads-In
Misc-Out]
[OpPla (SETQ compsections (CONS (QUOTE OpPla-Out)
compsections))
[SETQ setsections (APPEND setsections
(COPY (QUOTE (Rom-Out ClockPla
RegMux-Out
CCode-Out
Misc-Out]
(* SETQ plist (COPY (QUOTE
((#STARTADDR) (#OPLENGTH) (#FORCENEWOP)
(#MODSTARTADDR)))))
]
[SNI-Out (SETQ compsections (CONS (QUOTE SNI-Out)
compsections))
(SETQ setsections
(APPEND setsections
(COPY (QUOTE (OpPla-Out Rom-Out ClockPla RegMux-Out
CCode-Out Misc-Out]
[CCode-Out (SETQ compsections (CONS (QUOTE CCode-Out)
compsections))
(SETQ setsections
(APPEND setsections
(COPY (QUOTE (OpPla-Out Rom-Out ClockPla RegMux-Out
CCode-Out Misc-Out
DataPath-Out]
[MiscPla (SETQ compsections (CONS (QUOTE Misc-Pla)
compsections))
[SETQ setsections (APPEND setsections (COPY
(QUOTE (Rom-Out ClockPla]
(SETQ plist
(COPY (QUOTE ((#UMISC)
(MISC.MISCLOGIC.FFS.$SETOUTPUTINTERRPUT~
MISC.MISCLOGIC.FFS.$RESETOUTPUTINTERRUPT~
MISC.MISCLOGIC.FFS.$SETINITIALREFILL~
MISC.MISCLOGIC.FFS.RSFFIE.@RESETINITIALREFILL~
MISC.MISCLOGIC.FFS.$SETSTACKREFILL~
MISC.MISCLOGIC.FFS.$RESETSTACKREFILL~
MISC.MISCLOGIC.FFS.$SETINTERRUPTENABLE~
MISC.MISCLOGIC.FFS.$RESETINTERRUPTENABLE~
MISC.MISCLOGIC.FFS.$SETMEMLOCK~
MISC.MISCLOGIC.FFS.$RESETMEMLOCK~
MISC.MISCLOGIC.FFS.$SETREFCNT~
MISC.MISCLOGIC.FFS.$RESETREFCNT~
MISC.MISCLOGIC.FFS.$RESETREFRESH
MISC.MISCLOGIC.FFS.$RESETINTERRUPT
MISC.MISCLOGIC.FFS.$OPLENGTH=0
MISC.MISCLOGIC.FFS.@WRITEOCTALA
MISC.MISCLOGIC.FFS.@RESET-VMMA]
[Misc-Out (SETQ compsections (APPEND (COPY (QUOTE (Misc-Out Misc-Pla)))
compsections))
[SETQ setsections (APPEND setsections
(COPY (QUOTE (Rom-Out ClockPla]
(SETQ plist
(COPY (QUOTE ((#UMISC)
(MISC.MISCLOGIC.FFS.$SETOUTPUTINTERRPUT~
MISC.MISCLOGIC.FFS.$RESETOUTPUTINTERRUPT~
MISC.MISCLOGIC.FFS.$SETINITIALREFILL~
MISC.MISCLOGIC.FFS.RSFFIE.@RESETINITIALREFILL~
MISC.MISCLOGIC.FFS.$SETSTACKREFILL~
MISC.MISCLOGIC.FFS.$RESETSTACKREFILL~
MISC.MISCLOGIC.FFS.$SETINTERRUPTENABLE~
MISC.MISCLOGIC.FFS.$RESETINTERRUPTENABLE~
MISC.MISCLOGIC.FFS.$SETMEMLOCK~
MISC.MISCLOGIC.FFS.$RESETMEMLOCK~
MISC.MISCLOGIC.FFS.$SETREFCNT~
MISC.MISCLOGIC.FFS.$RESETREFCNT~
MISC.MISCLOGIC.FFS.$RESETREFRESH
MISC.MISCLOGIC.FFS.$RESETINTERRUPT
MISC.MISCLOGIC.FFS.$OPLENGTH=0
MISC.MISCLOGIC.FFS.@WRITEOCTALA
MISC.MISCLOGIC.FFS.@RESET-VMMA]
(HELP)))
(SETQ compsections (INTERSECTION compsections compsections))
(SETQ setsections (INTERSECTION setsections setsections))
(SETQ setsections (LDIFFERENCE setsections compsections))
(SETQ plist NIL)
(SetupTransSim])
)
(PUTPROPS TEMP COPYRIGHT ("Xerox Corporation" 1986))
(DECLARE: DONTCOPY
(FILEMAP (NIL (272 14673 (MakeTransCompList 282 . 8655) (ctltest 8657 . 14671)))))
STOP