相关阅读Cadencehttps://blog.csdn.net/weixin_45791458/category_12708535.html?spm1001.2014.3001.5482Conformal是Cadence的一个形式验证工具系列包含Conformal LEC(Logic Equivalence Checking)、Conformal ECO(Engineering Change Orders)、Conformal LP(Low Power)、Conformal CD(Constraint Designer)以及Conformal Verify。本文将以LEC为例介绍Conformal的两种命令输入模式。Conformal提供两种命令输入模式vpxmode和tclmode其中vpxmode是默认输入模式Conformal最初是来自Verplex Systems公司的产品因此得名。vpxmode1、vpxmode模式中提示符的形式如下所示。SETUP LEC2、vpxmode模式下的命令不区分大小写下面的两条命令是等价的。SETUP READ DESIGN SETUP read design3、vpxmode模式下的命令可以使用缩写可以遵循3-2-1则以减少输入字符数量3表示输入第一个关键词的前3个字符2表示输入第二个关键词的前2个字符1表示输入第三个关键词的首字母下面的两条命令是等价的。SETUP ADD OUTPUT EQUIVALENCES SETUP add ou e4、某些命令中支持使用通配符匹配这包括文件名和设计对象需要注意的是对于设计对象*可以匹配层次分隔符即可以跨层级匹配对于文件名*无法匹配路径分隔符这遵循了UNIX规则。5、所有vpxmode模式的命令都有对应的tclmode模式的命令但不是所有tclmode模式的命令都有对应的vpxmode模式的命令如下所示。SETUP READ DESIGN TCL_SETUP read_design TCL_SETUP find6、如果在vpxmode模式中想切换到tclmode模式可以使用TCLMODE命令如果想直接启动工具时进入tclmode模式可以指定-tclmode选项如下所示。SETUP TCLMODE $ lec -tclmodetclmode1、tclmode模式中提示符的形式如下所示。TCL_SETUP TCL_LEC2、tclmode模式下的命令都是小写的如下所示。TCL_SETUP write_design3、除了之前谈到的所有vpxmode模式的命令都有对应的tclmode模式的命令tclmode拥有一类独有的进行设计查询的命令如下所示。TCL_SETUP all_fanin TCL_SETUP all_fanout TCL_SETUP find TCL_SETUP get_nets TCL_SETUP get_ports对于这些tclmode模式独有的命令设计对象名可以用层次结构上下文或模块上下文两种方式指定层次结构上下文是以/开头的即从根模块可使用set_root_module设置开始模块上下文不以/开头从当前模块可使用set_current_module设置开始。4、tclmode模式下的命令不可以使用缩写如果命令不完整Conformal会根据前缀返回可能的命令提示如下所示。TCL_SETUP all ambiguous command name all: all_fanin all_fanout all_registers5、某些命令中支持使用通配符匹配这包括文件名和设计对象需要注意的是对于设计对象*只支持在最后的层次中使用不可以匹配层次分隔符对于文件名*无法匹配路径分隔符这遵循了UNIX规则。6、如果在tclmode模式中想切换到vpxmode模式可以使用vpxmode命令如下所示。TCL_SETUP vpxmode7、tclmode模式中可以执行vpxmode模式的命令使用vpx前缀即可如下所示。TCL_SETUP vpx read design counter.v