VCS各个选项的含义

• 命令选项：-cm line |  cond | fsm | tgl | branch | assert
  • 含义：指定监测特定类型的覆盖率
    • line：监测行覆盖率或者语句覆盖率
    • cond：监测条件覆盖率
    • fsm：监测状态机覆盖率
    • tgl：监测翻转覆盖率
    • branch：监测分支覆盖率
    • assert：监测SystemVerilog断言覆盖率
  • 注意：如果希望VCS监测超过1种类型的覆盖率，可以在不同声明之间使用+号连接
    • 例如：-cm line+cond+fsm+tgl
      
      
• 命令选项 :-debug 
  • 含义：和-debug_pp一样，但是具有强制（force）的含义？
    
    
• 命令选项：-debug_pp
• 含义：Enables dumping to FSDB/VPD, anf use of UCLI, VERDI and DVE
  
  
• 命令选项：+define+<macro_name>=<value>
  • 含义：定义一个文本宏
    
    
• 命令选项：+incdir+<directory>
  • 含义：指定你使用`include指令包含的文件所在的目录
  • 注意：你可以指定多个目录，每个目录使用+号分开　　　　
    
    
• 命令选项：+libext+<extension>
  • 含义：让VCS在verilog库目录中只搜索具有特定拓展名的文件。可以指定一种以上的拓展名，每个拓展名使用+号分开
  • 例如+libext++.v指定搜索没有拓展名的库文件和.v拓展名的文件　　

 

• 命令选项：-sverilog
• 含义：使能Verilog语言的SystemVerilog拓展
  
  
• 命令选项：-y
  • 含义：指定一个verilog库目录用于搜索模块定义