SHARE
TWEET

Untitled

a guest Jun 28th, 2019 84 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. `ASSERT_ALWAYS_MSG(data_x_256b, m_clock, reset,
  2.    ((req_select_mon != 0) && (req_info.size === 3'b101) && ($size(req_info.data) >= 256) && ((req_info.opcode === 5'b00000) || (req_info.opcode === 5'b00010)) |-> (!($isunknown(req_info.data[start_addr_bit +: 256]))  || !($stable(req_valid)) )),
  3.    "Valid DATA contain X values for write or write-around operation and size of 256 bits");
  4.  
  5. `ASSERT_ALWAYS_MSG(data_x_512b, m_clock, reset,
  6.    ((req_select_mon != 0) && (req_info.size === 3'b110) && ($size(req_info.data) == 512) && ((req_info.opcode === 5'b00000) || (req_info.opcode === 5'b00010)) |-> ( !($isunknown(req_info.data[511:0])) || !($stable(req_valid)) )),
  7.    "Valid DATA contain X values for write or write-around operation and size of 512 bits");
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top