采用Modelsim FLI接口的協(xié)同仿真技術介紹

由于這些變量一般只用于對外驅動，因此可以簡單寫成下面的形式:
ip.out1 = mti+ CreateDriver(mti_FindPort(ports,out1))；
C.調用mti_ScheduleDriver函數(shù)，設置輸出信號的初始狀態(tài)。mti_ScheduleDriver函數(shù)的定義為:
void mti_ScheduIeDriver(mtiDriverIdT driver,long value,mtiDelayT delay,mtiDriverModeT mode)；
其中，driver是輸出信號對應的變量名，如ip.out1和ip.out2；value是要設置(驅動)的值，如高電平('1'，對應value為3)、低電平('0'，對應value為2)、高阻('z'，對應value為4)、未賦值('U'，對應value為0)等等；delay是從當前時間開始到把信號驅動成給定值(value)的等待時間，單位與仿真器當前使用的最小時間單位相同；mode為信號模式，有兩個值可供選擇:MTI_INERTIAL或者是MTI_TRANSPORT，分別對應于標準VHDL語言的INERTIAL和TRANSPORT。例如，設置信號out1的初始狀態(tài)為低電平:
mti_ScheduleDriver(ip.out1,2,0,MTI_INERTIAL)；
d.設置在仿真器重新仿真(運行命令restart)或退出仿真(運行命令quit-sim)等情況下調用的函數(shù)。這一部分主要是為了釋放內存或者保存當前狀態(tài)等。以restart為例，假設在程序中用malloc申請了存儲空間buf，在仿真器restart時需要釋放，就可以用以下的函數(shù)調用來注冊:
mti_AddRestartCB(free,buf)；
注冊后，當仿真器運行命令restart時就會調用free(buf)。
其它一些函數(shù)可以參照modelsim的用戶手冊這里不再詳述。
e.設置敏感表，給出在某些信號發(fā)生某些變化時(如時鐘上升沿等)執(zhí)行的函數(shù)。例如，在輸入信號in1發(fā)生變化時，要執(zhí)行函數(shù)in1_change(in1_change為用戶定義好的函數(shù))，可以這樣定義:
processed proc；
proc=mti_CreateProcess(P_in 1 change,in1_change，ip)；
mti_Sensitize(proc,ip.in1,MTI_EVENT)；
也就是說，先創(chuàng)建進程，然后設置敏感表。當滿足敏感表的條件時，仿真器就會執(zhí)行該進程。mti_CreateProcess函數(shù)的定義為:
mtiProcessldT mti_CreateProcess(char *name,mtiVoidFuncPtrT func,void * Param)；其中，name是將要在仿真器窗口中顯示的名稱；func是要執(zhí)行的函數(shù)；后面的param是要傳給func的參數(shù)。mti_Sensitize的定義為:
void mti_Sensitize(mtiProcessIdT proc,mtiSignalIdT sig,mtiProcessTriggerT when)；
其中，proc為調用mti_CreateProcess的返回值；sig為信號名，即VHDL文件的輸入輸出信號對應于C程序的變量；when可以取MTI_EVENT或者MTI_ACTIVE兩種值。
4.3 C程序的編譯
對Windows平臺，采用的編譯器是MicrosoftVisual C++，并用如下的命令進行編譯:
cl -c -I install_dir> app.c
link -dll -export:C_init_function> app.obj
install_dir> modeltech.lib
上面的install_dir>是modelsim的安裝目錄，C_init_function>是c程序的初始化函數(shù)名，如我們給出的sim.c的sim_init。編譯之后就可以生成.dll文件。
仿真向量是用c語言還是用HDL直接產(chǎn)生，要視設計者的應用而定，選取最簡單的方式。在大多數(shù)情況下，用c語言和HDL聯(lián)合生成測試向量會更方便些。

5 結論
利用Moelsim的FLI功能，用c語言對所設計的模型進行功能驗證，可以加大驗證代碼的覆蓋率，減少驗證代碼的復雜度，加快驗證的速度，縮短設計周期，可以更好的驗證系統(tǒng)的通用性。另外，Modelsim的FLI功能使硬件描述語言(Verilog，VHDL)與c語言緊密結合在一起，為設計人員提供了更廣闊的驗證平臺，更方便的驗證方法。