Formality：默认配置文件
相关阅读
Formality
https://blog.csdn.net/weixin_45791458/category_12841971.html?spm=1001.2014.3001.5482
当启动Formality时，它会自动执行三个设置文件中的命令，这些文件具有相同的文件名.synopsys_fm.setup.，但位于不同的目录中，它们可以包含初始化参数和变量、声明库等命令。Formality按以下顺序读取这三个目录中的设置文件：
Formality安装目录(....../O-2018.06-SP1/admin/setup/.synopsys_fm.setup)
这个系统级的设置文件（默认存在）包含Synopsys定义的系统变量以及为主机的所有用户提供的通用Formality设置信息，只有系统管理员可以修改此文件。
用户家目录(/home/...../.synopsys_fm.setup)
这个用户定义的设置文件（需要用户创建）可以用于包含定义用户偏好的Formality工作环境的变量。此文件中重复定义的变量会覆盖系统级设置文件中的相应变量。
当前工作目录（即启动Formality的目录）
这个特定于设计的设置文件（需要用户创建）可以包含影响此目录中所有设计的变量。要使用此文件，则必须从此目录启动Formality。此文件中重复定义的变量会覆盖用户定义的设置文件和系统级设置文件中的相应变量。