2. 對于Top層函數(shù)，如果要做RTL代碼的混合仿真（co-sim），任何這種指針參數(shù)必須有這個接口存取次數(shù)的詳細說明。

3. 確保在綜合前驗證C功能，確定符合功能要求，保證C模型正確。

如果設計模型要求函數(shù)參數(shù)指針多次存取，推薦使用數(shù)據(jù)流模式模型化設計，使用數(shù)據(jù)流模型可以避免我們將會在下面討論到的，使用多次讀寫指針帶來的一些問題。

這個章節(jié)使用設計例子1-5 糟糕的數(shù)據(jù)流類型指針（pointer_stream_bad）解釋，當多次存取指針時，為什么要使用volatile限定符。同時使用設計例子1-8 好的數(shù)據(jù)指針類型（pointer_stream_better）來說明，為什么當top層函數(shù)參數(shù)包含有這種指針接口的設計時，應該用C testbench仿真驗證確保設計的行為級模型正確。

在下面的例子1-5中，指針d_i讀了4次并且d_o寫了2次，設計的本意是存取操作通過fifo接口，綜合后的RTL以數(shù)據(jù)流的方式讀入或者寫出數(shù)據(jù)。

void pointer_stream_bad （ dout_t *d_o， din_t *d_i） {

din_t acc = 0;

acc += *d_i;

acc += *d_i;

*d_o = acc;

acc += *d_i;

acc += *d_i;

*d_o = acc;

}

例子1-5 糟糕的數(shù)據(jù)流指針類型

用于驗證的C testbench如下：

int main （） {

din_t d_i;

dout_t d_o;

int retval=0;

FILE *fp;

// Open a file for the output results

fp=fopen（“result.dat”，“w”）;

// Call the function to operate on the data

for （d_i=0;d_i《4;d_i++） {

pointer_stream_bad（&d_o，&d_i）;

fprintf（fp， “%d %d\n”， d_i， d_o）;

}

fclose（fp）;

// Compare the results file with the golden results

retval = system（“diff --brief -w result.dat result.golden.dat”）;