第2部分:PA静态验证库的关键特性,加上静态验证最佳实践。
在第1部分本系列的权力意识到(PA)的验证,我们研究了PA的基础和验证功能静态检查。在第2部分中,我们将讨论静态验证库的特性和描述静态验证最佳实践。
图书馆对于静态验证
具有从自由和pin-level属性是强制要求准确PA-Static验证在GL-netlist (post-synthesis)和PG-netlist(不)的设计水平。回忆的一般或特定的例子自由电平位移器(LS)细胞从LRM以下被称为特殊单元属性分类这个特定的细胞水平移动装置。
示例1 - LS自由单元属性
is_level_shifter:真的,level_shifter_type: HL_LH input_voltage_range output_voltage_range。
PA-Static检查器搜索这些属性来识别细胞LS以及LS的工作电压范围。
其他剩余的属性称为pin-level属性。PA-Static检查器工具收集的主要力量和地面(偏见)销或端口信息pg_pin和pg_type属性在一起。“related_power / ground_pin”或“related_bias_pin提供相关的权力,地面,或偏见提供连接信息对于每一个输入或输出逻辑端口或销细胞。相关的供应是增强pg_pin和pg_type属性表明供应是否主要电能的功能,主要的地面,或者一个N p阱偏见销,如下所示。
例子2 -相关权力,LS的地面或偏见销
pg_pin (VNW) {pg_type: nwell;pg_pin (VPW) {pg_type: pwell;pg_pin (VDDO) {pg_type: primary_power;pg_pin (VSS) {pg_type: primary_ground;pg_pin (VDD) {pg_type: primary_power;std_cell_main_rail:真实;....销(A) {related_power / ground_pin: VDD / VSS;related_bias_pin:“VNW VPW”;level_shifter_data_pin:真实; ....
因此,multi-rail细胞,特别是multi-voltage (MV)和宏观细胞——就像图1中的LS (MV细胞)——这通常是拥有不同的相关物资的输入,这是销(a)与相关用品(VDD VSS /),并输出,销(Y)和相关用品(VDDO VSS /)。
图1:电平位移器与相关PG-pin信息。
“std_cell_main_rail的属性定义主能力销(VDD),将被视为主要的铁路、电源连接参数时需要细胞放置和路由的帖子不水平。然而,GL-netlist, PA-Static检查程序利用这些信息分析的主要或MV或宏观细胞的主要力量。的std_cell_main_rail检查完成基于以下自由属性。
例3 -自由的语法std_cell_main_rail
pg_pin (VDD) {voltage_name: VDD;pg_type: primary_power;std_cell_main_rail:真实;}pg_pin (VDDO) {voltage_name: VDDO;pg_type: primary_power;}
的std_cell_main_rail属性是定义在一个primary_power销。属性设置为True时,pg_pin是用来确定哪些权力销是主要的铁路在细胞中。这是在示例3 VDD。真正实现(合成)工具看了看std_cell_main_rail(不是voltage_name)专门为LS(宏观),和连接或插入LS相应设计。
4显示了示例代码片段的结果std_cell_main_rail从PA-Static验证分析。
例4 -片段PA-Static验证结果std_cell_main_rail
VDD std_cell_main_rail:真的,文件:ls。自由(15)pg_type: primary_power文件:ls。自由(13)VDDL pg_type: primary_power文件:ls。自由(18)VSS pg_type: primary_ground文件:ls。自由(22)
虽然,明确提到PA Sim-model库需求PA-Static工具进行验证和可选的是仅用于编译的目的。然而,PA-Static工具进行一致性检查PA Sim-model库和其相应的同行之间自由图书馆确定Sim-model图书馆是否意识到力量。一致性检查比较电源端口和净或销名称的所有权力,地面,相关,和偏见别针。
PA-Static检查进一步揭示了逻辑销以来这两个库相关的权力和地面之间的等价信息相关的逻辑端口。如果供给和逻辑港口或针的库匹配,仿真模型库被视为权力意识到(或PA Sim-model库)。然而,power_down_function不是Sim-model和自由之间库相比,通过腐败语义模型还是自由power_down_function是完全由PA-SIM驱动的。
静态验证实践
巴勒斯坦权力机构验证基本面已经讨论和说服力PA-Sim和PA-Static验证平台的基础建立在先前的章节。透露,PA方法和技术施加巨大的挑战在功能和结构模式的设计验证。
然而,观察到清晰的感知的规范设计和权力,权力意图,采用验证技术,固有的工具特性,成功的成就和微妙的方法限定的权力意识到验证。虽然影响的结构性问题在建筑和设计上microarchitectural方面,然而以下观点简化了PA-Static验证过程的视角。
列表1 -简化PA-Static验证观点
显然这些方面将确保清洁PA的成就设计的架构和microarchitectural角度。
不同的是,PA-SIM需要三步流动态验证(编译、精心设计/优化和模拟),PA-Static验证工具程序是基于只有两步:编译和优化。
自编译标准下的一个设计验证完全相同PA-SIM和PA-Static,优化是PA的阶段验证工具,权力意识的对象(例如电力领域、电力供应、电力战略等)编制设计范围内的UPF值连接。
显然,testbenches不必要的编译过程中设计针对PA-Static验证。还需要注意的是,这里有某些PA-Static特定的工具程序可以在优化阶段。这些程序确保适当的提取和积累的权力从UPF值信息,自由,和设计进行内部分析和内置的或指定的外部MV或PA规则强加于相应的设计。PA-Static相关特殊命令和选项是基于如下几个方面:
列表2 -基本方面推动PA-Static验证
这些几乎是类似于PA-SIM,只包含PA-Static“调试功能”是多余的,因为静态验证的结果是可以在优化阶段。然而,有不同的结果报告冗长水平PA-Static生成在优化阶段,在成功的部分进行讨论。
设计输入要求PA-Static PA-SIM也一模一样。PA-Static也需要一个完整的Verilog HDL的设计,SystemVerilog,硬件描述语言(VHDL),或任何这些语言的混合组合。不过强烈建议synthesizable RTL的HDL设计条目,门电路级网表,PG-netlist,或者这些操作的组合形式。第一步是设计通过编译视频博客或威科姆公司命令Verilog & SystemVerilog和硬件描述语言(VHDL)分别。
下一阶段,优化设计编译通过vopt静态验证命令是最关键的部分。类似于PA-SIM,voptPA-Static过程UPF权力意图规范,自由库和接受所有其他权力相关验证命令和选项作为参数。而洋葱PA-Static典型的命令和选项的格式如下所示。
例5 -典型的命令格式标准PA-Static流
编译:视频博客工作的工作- fdesign_rtl.v
优化:
vopt前者\ -pa_upf测试工作。趟车\ -pa_top“顶级/ dut”\ - o Opt_design \ -pa_checks = s \ <其他PA命令>
要注意,vopt过程,-pa_checks =年代在这里“年代”代表所有可能的PA-Static内和可用的静态检查工具。然而,细粒度控制选项允许进行或禁用任何特定的检查,如只进行ISO相关检查,在vopt可能通过以下工具程序。
例6 -控制和开展具体PA-Static检查ISO
编译:没有变化
优化:vopt -需要添加”他们vopt -pa_checks =重度,斯里兰卡,svi、sni sdi,如果”,连同其他所有命令和选项。
同样进行PA-Static GL-netlist和PG-netlist验证,以下工具程序是必需的。
例7 -进行对GL-netlist PA-Static检查
编译:没有变化
优化:vopt -需要添加”vopt -pa_checks = s + gls_checks”。
例8 -进行对PG-netlist PA-Static检查
编译:没有变化
优化:vopt -需要添加”vopt -pa_enable = pgconn”,以及“vopt -pa_checks = s + gls_checks“和所有其他命令和选项。
如前所述,自由或PA-Static (lib)文件是强制性的检查,特别是从GL-netlist PG-netlist,甚至mixed-RTL。幸运的是,这个工具程序自由处理期间PA-Sim PA-Static是完全相同的。
|
|
|
|
|
|
|
|
|
|
留下一个回复