C.調用mti_ScheduleDriver函數，設置輸出信號的初始狀態。mti_ScheduleDriver函數的定義為：

  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的初始狀態為低電平：

  mti_ScheduleDriver（ip.out1，2，0，MTI_INERTIAL）；

  d.設置在仿真器重新仿真（運行命令restart）或退出仿真（運行命令quit-sim）等情況下調用的函數。這一部分主要是為了釋放內存或者保存當前狀態等。以restart為例，假設在程序中用malloc申請了存儲空間buf，在仿真器“restart”時需要釋放，就可以用以下的函數調用來注冊：

  mti_AddRestartCB（free，buf）；

  注冊后，當仿真器運行命令restart時就會調用free（buf）。

  其它一些函數可以參照modelsim的用戶手冊這里不再詳述。

  e.設置敏感表，給出在某些信號發生某些變化時（如時鐘上升沿等）執行的函數。例如，在輸入信號in1發生變化時，要執行函數in1_change（in1_change為用戶定義好的函數），可以這樣定義：

  processed proc；

  proc=mti_CreateProcess（“P_in 1 change”，in1_change，&ip）；

  mti_Sensitize（proc，ip.in1，MTI_EVENT）；

  也就是說，先創建進程，然后設置敏感表。當滿足敏感表的條件時，仿真器就會執行該進程。mti_CreateProcess函數的定義為：

  mtiProcessldT mti_CreateProcess（char *name，mtiVoidFuncPtrT func，void * Param）；其中，name是將要在仿真器窗口中顯示的名稱；func是要執行的函數；后面的param是要傳給func的參數。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 app.c

  link -dll -export： app.obj

  modeltech.lib

  上面的是modelsim的安裝目錄，是c程序的初始化函數名，如我們給出的sim.c的sim_init。編譯之后就可以生成。dll文件。

  仿真向量是用c語言還是用HDL直接產生，要視設計者的應用而定，選取最簡單的方式。在大多數情況下，用c語言和HDL聯合生成測試向量會更方便些。

  5 結論

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

[1]  [2]  [3]  [4]