FILE: SRHC.rose, from [Indigo]<Rosemary>2.5>Rosemary.DF
last changed by Barth, January 4, 1983 10:44 am
Last Edited by: Spreitzer, June 22, 1984 11:36:36 am PDT
Library ExamplePrimitives;
SRHC: CELL [input< INT[4], clock<, output> INT[4]]
InitData
init: [0..15] ← 7
DefaultInitExpr NEW [SRHC.SRHCInitRec ← [13]] |
State
latched: [0..15] ← 0
Initializer
latched ← init
Expand
temp: INT[4] ← "5";
Pass: PassBlock[input: input, gate: clock, output: temp];
CEDAR
--any old Cedar code may appear here
... even comment nodes, with -'s and --'s as you please
NULL --an empty Cedar statement--;
;
Inv: InvertBlock[input: temp, output: output]
EvalSimple
IF clock THEN latched ← input;
output ← 15 - latched;
ENDCELL