Synopsys基本概念（1/3）

简要介绍Synopsys系列工具的基本概念。

1. Synopsys产品

本节简要介绍Synopsys全部相关产品

——Library Compiler

——Design Compiler和Design Vision

——Physical Compiler

——PrimeTime

——DFT Compiler

——Formality

Library Compiler

任何ASIC设计的核心都包含一组逻辑单元的工艺库，库可以包含每个单元的功能描述、时序、面积及其他相关信息。在转换为可被Synopsys应用程序使用的格式前，Library Compiler（LC）会分析文本信息的完整性与正确性。

可以在命令行输入lc_shell启动，LC的功能在dc_shell中也可以使用。

Design Compiler和Design Vision

Synopsys Design Compiler（DC）和Design Vision（DV）构成一套功能强大的逻辑综合工具，根据设计规范和时序约束，提供最佳的门极综合网表。除了高层次综合能力，还包含一个静态时序分析引擎，提供FPGA综合和links-to-layout（LTL)解决方案。

可以在命令行输入dc_shell进入DC，也可以输入design_vision进入DV，DV是DC的图形化版本，也可以使用命令dc -gui进入。

Physical Compiler

Physical Compiler（PhyC）是DC的一个超集。除了包含DC全部的综合和优化功能，还提供了根据设计的时序和/或面积约束同时优化放置单元的能力。

PrimeTime

PrimeTime（PT）是Synopsys的签约级、全芯片、门级静态时序分析工具。它是一个独立运行的工具，可以通过命令行输入pt_shell进入。

DFT Compiler

DFT Compiler（DFTC）是包含在DC全套工具中的测试插入工具，用于向设计中插入DFT特征，如扫描插入和边界扫描，可以直接在dc_shell中调用所有指令。

Formality

Formality是Synopsys的形式验证工具，是一种逻辑等价检测工具，以检查设计的RTL和门级网表描述是否代表相同的设计。

2. 综合环境

与大多数EDA产品相同，Synopsys工具需要一个设置文件以指定工艺库位置和用于综合的其他参数。

2.1 启动文件

所有DC和PhyC系列工具都有一个共同的启动文件“.synopsys_dc.setup”，而PT需要一个单独的启动文件“.synopsys_pt.setup”。启动文件默认位于Synopsys安装目录，随着工具的启动而自动加载。这些默认文件不包含同设计相关的数据，功能是加载Synopsys与工艺无关的库和其他参数。用户可以在启动文件中指定诸如search_path、target_library、link_library/symbol_library等于设计相关的数据，也可以在工具启动后运行命令以指定。上述信息是DC需要的最少信息，PhyC还需要physical_library信息，而PT只需要search_path和link_library信息。

2.2 系统库变量

现在有必要解释target_library和link_library系统变量间的区别。target_library指定工艺库的名称，其单元对应与设计人员想让DC推断出并最终映射到的库单元。link_library定义其库单元只用于参考的库名称，也就是DC不使用link_library中的单元进行推断。例如，你可能指定一个标准单元库作为target_library，而在link_library列表中则指定其他的工艺库名称，则意味着使用前一个库进行综合设计，而使用link_library中的库进行例化。

link_library列表中应包含目标库名，这在DC中读取门级网表时是很重要的。如果库列表中不包含目标库名，DC就不能连接网表中的已映射的单元。

target_library和link_library系统变量允许设计人员更好地控制单元的映射，这些变量也提供了一种有用的方法将门级网表从一种工艺重新映射到另一种工艺。在这种情况下，link_library可包括旧的工艺库名称，而target_library可包含新的工艺库名称，可通过dc_shell中的translate命令来完成重新映射。

symbol_library系统变量是包含工艺库中的单元图形表示的库名称。当使用图形化前端工具时，用于表示门电路原理图。工艺库和符号库间的单元名和引脚名必须准确地匹配。

如果使用psyn_shell，除了指定逻辑库外，也需要制定物理库。这些库中包含PhyC所需的物理信息（如单元的物理尺寸、方位、层信息等）。物理库以扩展名"pdb"为标识。

需要注意的是，DC使用变量link_library，而PT使用link_path，除了名称和格式不同外，这两个变量的应用是相同的。PT是一个门级静态时序分析器，只用于结构化门级网表，因而，PT不使用变量target_library。

参考文献

高级ASIC芯片综合 (豆瓣)​book.douban.com