I came across this data integrity check for a FIFO using assertions. output_data_integrity : assert forall dvalue in {0:255} :
確定! 回上一頁