Processor Description Languages

10.2 The FAST/ADL Model 257

procedure s_ID epilogue

begin

end s_ID;

send EX;

procedure s_ID prologue

begin

end s_ID;

rop = gpr[rop_r];

lop = gpr[lop_r];

decode;

procedure s_WB prologue

begin

end s_WB;

gpr[dest_r]=dest;

procedure s_WB epilogue

begin

end s_WB;

retire;

FIGURE 10.6

Example TAPs for the pipelined processor.

deallocated using the ADL statement retire. If any of the pipeline stages does not

execute a send,send operations of the preceding stages fail. In this case,they repeat

their send operations at the end of the next cycle. For decoding the instructions,ADL

provides a decode statement. The decode statement does not take any arguments

and establishes a