Primtimemanual2014.pdf

未选中命令缩写。 简短的命令显示为未定义的过程 在alias命令中创建的别名不会展开并显示为未定义的过程 在应用程序运行时执行的一些检查可能不会使用snps_checker环境进行检查。 例如,在某些情况下,一个选项需要另一个选项而没有选中 脚本大小是scnps_checker和tclpro 1.3和1.5的一个问题。 可以合理地检查多达几千行脚本,但除此之外,cpu时间成为一个因素。 不要尝试使用snps_checker检查非常大的脚本。