Type SYS = Sys( PROC, IPORT, OPORT )
Type PROC = Proc( PC, RF, PROG, BF )
Type PC = Bit[16]
Type RF = Array[RNAME] VAL
Type RNAME= Reg0 || Reg1 || Reg2 || . . .
Type VAL = Bit[16]
Type PROG = Array[PC] INST
Type BF = Fifo INST_D
Type IPORT = Iport VAL
Type OPORT= Oport VAL
Previous slide | Next slide | Back to first slide | View graphic version |