1. ► Verilog compiler can detect argument mismatch between Verilog and ‘C’ land when a routine is called as a function.

2. ► CompileTf routines can make use of all the VPI routines.

3. ► Providing tf.type as vpiSysTask in the s_vpi_systf_data will export the corresponding ‘C’ routine as a task.

4. ► Verilog compiler can detect output mistmatch between Verilog and ‘C’ land when routine is exported as a function.

5. ► CompileTf routines are called only once for any given function.