run ArbiterImpl ArbRandReq ArbGroupsImpl ArbQuickTests _ Atom.PutProp [$FullARR, $ArbRandReqParam, NEW[Arbiter.ProbabilitiesRec _ [[1000,1000], 10000]]] ArbRandReqSeed 0 _ Arbiter.ArbNov87A _ FALSE; run ArbiterImpl ArbRandReq ArbGroupsImpl ArbiterSchematicImpl ArbSimImpl ArbSysTests _ Arbiter.ArbNov87A _ FALSE; _ ArbSysTests.shouldMaskRev1Bug _ FALSE; ArbiterSim ArbiterSim +s ArbRandReq Arbiter.ArbRandReq: PROC [ pre: PRE _ DefaultPriority, prob: REF _ NIL ] RETURNS [ ct: CoreCreate.CellType ArbiterImpl Arbiter.ArbExceptDBusCodeCT: PUBLIC PROC RETURNS [ ct: CoreCreate.CellType ] = { Arbiter.ArbInFrameCT: PUBLIC PROC [arbNo: INT _ 0, pra: PRA _ ALL[DefaultPriority]] RETURNS [ ct: CoreCreate.CellType ] = { Arbiter.ArbDBusCodeCT: PUBLIC PROC [arbNo: INT _ 0, pra: PRA _ ALL[DefaultPriority]] RETURNS [ ct: CoreCreate.CellType ] ArbGroupsImpl Arbiter.CreateSanity: PUBLIC PROC RETURNS [ct: CoreCreate.CellType] Arbiter.CreateWireAnd: PUBLIC PROC RETURNS [ct: CoreCreate.CellType] Arbiter.CreatePlural: PUBLIC PROC [ b: NAT ] RETURNS [ct: CoreCreate.CellType] ArbiterSchematicImpl Arbiter.SchematicCT: PROC [ cellName, designName: CoreCreate.ROPE ] RETURNS [ ct: CoreCreate.CellType] Arbiter.ResetSchematicCT: PROC [ cellName: CoreCreate.ROPE] ArbQuickTests ArbDBus LocalGrants GlobalGrants ArbSysTests FullArbSysTest SingleArbiterTest SingleRequesterTest ArbSimImpl ArbiterSim Command ArbiterSim in ArbSimImpl Set up a simulation of 8 arbiters, each receiving random requests from 8 requesters. +s => use one schematic arbiter, +d => use the DBus to initialize the arbiters. ArbSys has cellType Arb0 ArbSysTests.GeneralArbSysTest should probably be collecting vectors GeneralArbSysTest could have as arg: simulation: Rosemary.Simulation See: TestRose.Inverter2Test DArbiterNotes.tioga Don Curry March 10, 1988 11:01:05 am PST ʘ™J™(J™—Jšœ6˜6šœ˜JšœR˜R—J˜J˜JšœÏkœ˜J˜JšœT˜TJšœœ˜Jšœ"œ˜(J˜J˜ J˜ J˜J˜šœ ˜ Jš œÏn œœœœœœ˜j—šœ ˜ Jš œžœœœœ ˜Pš œž œœœ œ œœ˜SJšœ ˜'—Jšœž œœœ œ œœœ˜x—šœ ˜ Jš œž œœœœ˜CJš œž œœœœ˜DJš œž œœœœœ˜N—šœ˜Jš œž œœ$œœ˜fJšœžœœœ˜;—J˜šœ ˜ J˜J˜ J˜ —šœ ˜ J˜J˜J˜—J˜šœ ˜ J˜ —J˜J˜šœÏb ˜ ˜¥J˜—J˜—šŸœŸ˜Jšœ žœ&˜CJ˜šžœ˜$Jšœ˜——Jšœž ˜—…—ú Q