Formality：UPF验证中的PwrBB单元和#PWR后缀是什么？

相关阅读Formalityhttps://blog.csdn.net/weixin_45791458/category_12841971.html?spm1001.2014.3001.5482PwrBB单元PwrBB单元用于Formality在进行低功耗验证时对黑盒进行低功耗建模以准确描述其电源信息这些黑盒可能有多种来源具体可参考下面的博客。Formality黑盒(black box)https://blog.csdn.net/weixin_45791458/article/details/145192366?spm1001.2014.3001.5501图1展示了层次结构中的PwrBB单元该单元的设计名为黑盒设计名如果是工艺库内的单元还会添加#PWR后缀下一节会解释加_FM_BBOX后缀存在于原设计库WORK。图1 层次结构中的PwrBB单元除了位于原设计库WORKPwrBB单元对应的设计还可以根据黑盒来源不同而位于不同种类的库中。1、如果黑盒来源于set_black_box命令、hdlin_interface_only变量、hdlin_unresolved_modules变量、STUB模块则PwrBB单元对应的设计存在于原设计库。2、如果黑盒来源于read_power_model命令则PwrBB单元对应的设计存在于FM_MLIB_0设计库。3、如果黑盒来源于create_power_model命令则PwrBB单元对应的设计存在于FM_MODEL_LIB设计库。4、如果黑盒来源于工艺库(.db)中则PwrBB单元对应的设计存在于原工艺库。#PWR后缀对于那些工艺库中的单元标准单元或宏单元如果是PG库即库中存在PG引脚则会在保存原版的同时保存其PG版本在原设计名后加#PWR后缀其中存在DC单元用于对单元掉电进行建模如图2和图3所示并在使用load_upf命令时将工艺库中的单元从原版重新链接到其PG版本如果是非PG库则会在使用load_upf命令时根据UPF描述创建一个推导的PG版本只针对顶层设计中例化的单元如图4所示并将工艺库中的单元从原版重新链接到其PG版本。图2 TIE0单元的原理图原版图3 TIE0#PWR单元的原理图PG版本图4 TIE0#PWR单元的原理图推导的PG版本顺带一提如果工艺库中的单元是黑盒正如之前所说工艺库中还会存在添加#PWR_FM_BBOX后缀的设计并例化为名为pwrBB的黑盒如图5所示。需要注意的是此时要求工艺库为PG库否则会低功耗建模不完整如图6所示。图5 TIE0#PWR单元的原理图PG版本的黑盒版本图6 TIE0#PWR单元的原理图推导的PG版本的黑盒版本