供销江南app

E.27 约束、结果与工具的合成文档

目的:所有规定约束的文档,这些约束对于用以生成最终门级网表的最优合成来说是必需的。

描述:合成约束与结果的文档是必需的,原因如下:

——在任何后续阶段再现合成;

——生成独立的合成结果用于验证。

必需的文档包括:

——合成环境,包括所用的工具和带有实际版本的合成软件,合成库和已定义的约束与脚本。

——带有时间戳的合成日志文件,带有版本的所用的工具以及完整的合成文档。

一一带有估计时间延迟的生成的网表(标准延迟格式(SDF)文件)。

E.28 应用经使用证明的合成工具

目的:基于工具将电路的(V)HDL描述转化为门级网表。

描述:依靠连接适当的门和目标ASIC库电路原语,实现基于工具的电路功能(V)HDL源代码映射。依靠合成限制(如时间(时钟频率)和芯片面积)中推导出的最优结果来从不同的可能实现中选取一个满足功能的实现。

E.29 应用经使用证明的目标库

注:参见E.4"经使用证明工具"。

目的:避免由故障目标库所引起的系统失效。

描述:用于开发ASIC的合成与仿真目标库是由公共数据库导出的,因此不具有独立性。系统性失效的典型例子包括:

——电路元件的真实行为与建模行为之间的混淆;

——不充分的建模,如建立与保持时间。

因此,只有经使用证明技术以及目标库才能被用来设计执行安全功能的ASIC。这意味着:

——在项目中已被使用了很长时间且具有类似复杂度和时钟频率的目标库;

——在足够长时间周期内技术与相应目标库具有可用性,以便可对库进行足够准确的建模。