了解门电路级权力意识到模拟

的post-synthesis门电路级网表(GL-netlist)基于PA模拟输入要求大多是一样的RTL模拟。然而,设计验证这是GL-netlist下合成,所以从标准逻辑门,MV和宏观细胞自由库已经插入或实例化的设计。因此权力意识到模拟(PA-SIM) post-synthesis也需要自由库作为输入,以积累不同的具有属性和断电功能。自由的工具利用这些属性和功能如下:

不同的自由属性需要GL-Netlist PA-SIM

• 确定一个细胞,
• 进行权力意识到模拟基于细胞识别和UPF规范,
• 应用适当的腐败相应的语义。

GL-netlist PA-SIM的一个重要方面是所有细胞实例解释为包含司机因为这些细胞通常叶水平或者是没有后代的一个实例。因此,缓冲单元实例在GL-netlist关闭时将导致腐败。这是在矛盾RTL Verilog“缓冲区”原语,并不代表司机,因此范围从腐败PA-SIM当断电(RTL)。就像提醒,下面的列表总结了规则在RTL寻找驱动程序:

在RTL示例规则寻找驱动程序

• 任何涉及算术或逻辑操作或条件执行的语句解释为代表司机,当关闭,而洋葱PA-SIM适用的腐败。
• 无条件的作业和Verilog“缓冲区”原语不代表司机,因此不会引起腐败当断电,但他们不可能传播损坏隔离和信号从上游的司机。

在GL-netlist权力意识到仿真,腐败将发生在任何检测的输出端口和时序逻辑门电路级细胞。此外,权力意识到模拟自动将一个模块作为一个门电路级细胞如果模块包含celldefine属性或者指定在HDL代码块。即使这些细胞不是自由定义的语法;您的标准处理腐败仍然是应用于这些细胞,RTL细胞类似的设计。

UPF值1801 - 2013或UPF值2.1 LRM占主导地位提供了一个机制来设计一个基于驱动腐败在任何HDL细胞,即使没有“celldefine或“指定块,通过set_design_attribute(属性{名称值}]*命令。PA-SIM对待所有模块、实体或设计元素作为一个门电路级或叶细胞以下语法时。

示例1 -叶级或门电路级细胞治疗的设计基于驱动腐败

通过UPF值定义文件:
set_design_attributes- - - - - -模型先进先出,属性{UPF_is_leaf_cell真正的}

通过高密度脂蛋白注释定义:
SystemVerilog或Verilog属性规范:
(*UPF_is_leaf_cell= "真正的“*)模块FIFO(<端口列表>);

硬件描述语言(VHDL)属性规范:
属性UPF_is_leaf_cell:STD.Standard.String;
属性UPF_is_leaf_cell先进先出:实体是“真正的”;

尽管最新的UPF值1801 - 2015或UPF值3.0 LRM修订叶级或门电路级单元定义的语法,使您可通过腐败UPF_is_hard_macro而不是UPF_is_leaf_cell属性、语义和使用模型仍然是相同的。

GL-netlist权力意识到模拟期间,除了检测标准和宏观细胞,应用相应的腐败,模拟器还需要自动识别特殊的电源管理或MV细胞,如ISO、LS、复位触发器等的设计。MV细胞的检测主要是通过细胞水平属性对应的自由库中可用,通常cross-compared UPF值对应的策略的定义。回忆的语法和例子ISO、LS和复位触发器UPF LRM,从这一事实GL-netlist包含至少ISO, LS,并通过合成复位触发器,因此大多数这些细胞已经通过以下UPF值命令和选项或指定工具自动检测流程。

例子2 - ISO、LS、复位触发器自动检测在GL-netlist模拟UPF值命令

ISO细胞:
set_isolationstrategy_name [-实例{{instance_name port_name} *}]
< instance_name >是一个技术的< port_name >叶细胞实例和逻辑端口隔离。

LS细胞:
set_level_shifterstrategy_name -实例{{instance_name port_name} *}
同样在这里,< instance_name >是一个技术库叶细胞实例和逻辑端口的< port_name > level-shifts。

复位触发器细胞:
set_retentionretention_name -实例{{instance_name [signal_name]} *}
在这种情况下,< instance_name >是一个技术库叶细胞实例和可选< signal_name >是高密度脂蛋白信号控制保留。如果这个实例无关的任何供应港口或保存和恢复控制端口,这些端口在细胞模型中,需要确定属性和港口应当按照这个连接set_retention命令。

GL-netlist PA模拟,MV的汽车检测工具的过程细胞实际上是指不通过指定实例但通过自由或其他属性。因此剩下的细胞不趟文件中指定,期间PA-SIM GL-netlist模拟自动检测的正确的UPF值策略以类似的方式,对待他们属于细胞的策略指定实例论点。,PA-SIM检测电源管理单元基于以下信息之一:

自由单元属性

• is_isolation_cell
• is_level_shifter
• retention_cell

库单元名称从UPF值命令

• map_isolation_cellisolation_name [-lib_cellslib_cells_list]
• map_level_shifter_celllevel_shifter_strategy [-lib_cells列表)
• map_retention_cellretention_name_list [-lib_cellslib_cell_list]
• use_interface_cell -策略list_of_isolation_level_shifter_strategies [-lib_cellslib_cell_list]

请注意,map_isolation_cell和map_level_shifter_cell从UPF值LRM弃用3.0use_interface_cell命令。不像map_isolation_cell和map_level_shifter_cell,use_interface_cell可用于手动映射任何隔离(ISO),电平位移器(LS),或结合隔离电平位移器(ELS)细胞。

趟车name_format命令定义隐式对象的名称

• (-isolation_prefix字符串)
• (-isolation_suffix字符串)
• (-level_shift_prefix字符串)
• (-level_shift_suffix字符串)

合成语法

• isolation_upf
• retention_upf

虽然PA GL-netlist仿真没有任何异常的基本概念PA-SIM RTL的工具程序需要额外的命令过程讨论和上面列出的信息。

工具在GL-netlist自由处理程序:

编译:没有变化
优化:vopt -需要包括“vopt-pa_libertyfiles”或“vopt -pa_dumplibertydb”
模拟:没有变化

下面的列表解释了自由库引用方法GL-netlist PA-SIM:

自由引用在PA-SIM GL-netlist:

-pa_libertyfiles -
指定了自由阅读的文件。也可以指定多个用逗号分隔的文件名的文件。
例如vopt -pa_libertyfiles = a.lib b.lib

-pa_dumplibertydb -
指定的名称自由属性库数据库以供将来参考。
例如vopt -pa_dumplibertydb = lib_datafile

除了检测标准,宏观和MV细胞,PA-SIM也是需要几乎推断失踪MV细胞设计。一般来说,虚拟推断过程是有限的RTL物理MV细胞还没有实例化。在Mixed-RTL推断可能还需要,一些MV的细胞仍下落不明。因此在GL-netlist这样虚拟的推断是多余的。然而,PA-SIM提供用户通过工具过程可控性,可以控制推理。

工具程序控制虚拟MV细胞的推断:

编译:没有变化
优化:-vopt需要添加下列禁用自动推理。
“vopt -pa_disable = insertiso”——禁用ISO细胞插入
“vopt -pa_disable = insertls”——禁用LS细胞插入
“vopt-pa_disable = insertret”——禁用复位触发器细胞插入
模拟:没有变化

使用一个以上的,根据需求,将使该工具不能推断出适当的细胞几乎在任何设计抽象层次。但由于物理MV细胞已经插入post-synthesis GL-netlist设计,因此使用过程中优化的工具如下指示工具禁用所有三个虚拟插入ISO, LS,复位触发器。

所需工具程序GL-netlist PA-SIM:

优化:vopt -需要包括“vopt -pa_gls”

与GL-netlist PA-SIM以及混合RTL机制可以概括如下:

GL-netlist和Mixed-RTL PA-SIM机制设计的总结

• 检测标准和宏观细胞网表和执行基于司机腐败,UPF策略,或者从自由断电功能。
• 检测MV细胞网表,并与相应的UPF值策略的设计。
• 几乎推断MV细胞如果网表中缺少基于UPF值策略。
• 进行自动化的权力意识到基于序列检查和testbench模拟与RTL PA-SIM相似。

一旦细胞检测或推断过程完成如上所述,该工具进行权力意识到模拟GL-netlist类似RTL设计。尽管自由文件需要额外的输入GL-netlist,建议使用相同的testbench从RTL级确认验证一致性。