On-Chip Communication Architectures

381

/* Inputs and Outputs of Master */

/* The monitor treats these as inputs. */

input SCmdAccept, SResp[1:0], SData[31:0];

output MAddr[31:0], MCmd[2:0], MData[31:0];

master -> (cmd_idle || transfer)*;

transfer -> write_transfer || read_transfer;

/* Commands defined in standard. */

define cmd_idle = !MCmd[0] & !MCmd[1] & !MCmd[2];

define cmd_write = MCmd[0] & !MCmd[1] & !MCmd[2];

define cmd_read = !MCmd[0] & MCmd[1] & !MCmd[2];

/* Response codes defined in standard. */

/* NULL, Data VAlid, and ERRor */

define null_resp = !SResp[0] & !SResp[1];

define dva_resp = SResp[0] & !SResp[1];

define err_resp = SResp[0] & SResp[1];

/* SCmdAccept indicates that the slave ...