相关阅读Formalityhttps://blog.csdn.net/weixin_45791458/category_12841971.html?spm1001.2014.3001.5482当启动Formality时它会自动执行三个设置文件中的命令这些文件具有相同的文件名.synopsys_fm.setup.但位于不同的目录中它们可以包含初始化变量、命令别名等偏好。Formality按以下顺序读取并执行这三个目录中的设置文件Formality安装目录(....../fm/O-2018.06-SP1/admin/setup/.synopsys_fm.setup)这个系统级的设置文件默认存在包含Synopsys定义的系统变量以及为主机的所有用户提供的通用Formality设置信息只有系统管理员可以修改此文件。用户家目录(/home/...../.synopsys_fm.setup)这个用户定义的设置文件需要用户创建用于包含定义用户偏好的Formality工作环境的变量。此文件中重复定义的变量会覆盖系统级设置文件中的相应变量。当前工作目录(./.synopsys_fm.setup)这个特定于设计的设置文件需要用户创建可以包含影响此目录中所有设计的变量。要使用此文件则必须从此目录启动Formality。此文件中重复定义的变量会覆盖用户定义的设置文件和系统级设置文件中的相应变量。提示这些默认设置文件中只应存在一些便捷设置比如定义alias别名而不应该存在任何与具体项目相关的设置以避免发生意外行为。所有具体项目相关的设置可以通过显式执行参考方法(RMgen)所定义的脚本完成。如果想禁止这三个默认设置文件的读取和执行在启动fm_shell时添加-no_init选项即可。某些变量必须在启动工具之前设置。在工具启动之后更改这些变量不会产生任何效果。这样的变量的一个例子是sh_enable_line_editing变量它用于启用命令行编辑器 。如果该变量设置为false则无法使用左右方向键移动光标无法使用上下方向键查询命令历史无法使用TAB键自动补齐。查看fm_shell生成的fm_shell_command.log文件可以看到三个默认设置文件的读取和执行过程如下所示。// fm_shell_command.log文件 ***** source /opt/Synopsys/fm/U-2022.12-SP1/admin/setup/.synopsys_fm.setup # # -- Starting source /opt/Synopsys/fm/U-2022.12-SP1/admin/setup/.synopsys_fm.setup ***** # # -- End source /opt/Synopsys/fm/U-2022.12-SP1/admin/setup/.synopsys_fm.setup source /home/zhangchen/.synopsys_fm.setup # # -- Starting source /home/zhangchen/.synopsys_fm.setup ***** # # -- End source /home/zhangchen/.synopsys_fm.setup source /home/zhangchen/work/.synopsys_fm.setup # # -- Starting source /home/zhangchen/work/.synopsys_fm.setup ***** # # -- End source /home/zhangchen/work/.synopsys_fm.setup关于其他EDA工具的默认配置文件可以参考下面的博客。IC Compiler默认配置文件https://chenzhang.blog.csdn.net/article/details/155114390?spm1011.2415.3001.5331Spyglass默认配置文件https://chenzhang.blog.csdn.net/article/details/147862185?spm1011.2415.3001.5331PrimeTime默认配置文件https://chenzhang.blog.csdn.net/article/details/145979432?spm1011.2415.3001.5331Design Compiler默认配置文件https://chenzhang.blog.csdn.net/article/details/144016186?spm1011.2415.3001.5331Library Compiler默认配置文件https://chenzhang.blog.csdn.net/article/details/160090484?spm1011.2415.3001.5331