验证时只想给部门rtl加specify，谢谢

彩虹网

    文章简介：验证时，对于有些模块，我们要屏蔽掉specify，而有些模块我们需要加入



验证时，对于有些模块，我们要屏蔽掉specify，而有些模块我们需要加入進行timing check的specify，有什么好方法，类似这样的操作，例如：把这些文件列一个lst，
+specify /prj/user/a.v
+nospecify /prj/user/b.v
+specify /prj/user/c.v

普通

use config file and syntax as following:
instance {list_of_hierarchical_names} {noIopath  noSpecify  noTiming};

Explain the above line:
instance: Keyword that specifies that the attributes in this statement
  apply to all module instances in the list specified by their
  hierarchical names.

list_of_hierarchical _names : A comma separated list of module
instances enclosed in curly braces: { }

noIopath: Attribute keyword that specifies disabling the module
path delays in the specified module instances.

noSpecify: Attribute keyword that specifies disabling the specify
blocks in the specified module instances.

noTiming:  Attribute keyword that specifies disabling the timing
checks in the specified module instances.
然后用在vcs compile命令中用这个选项：+optconfigfile+filename