永利皇宫官网网址

记忆斗不过时间 随手记~~

[ZZ] cadence upf低功耗流程的仿真验证

上一篇 / 下一篇  2019-01-13 20:31:06 / 个人分类:Digital

原文:https://www.cnblogs.com/jyaray/p/4817777.html永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】L]y ?\#t8?C

*_7c/n@$x,a ex0永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】;\6B6y4VU1XIa K

随着深亚微米技术的普及与发展,leakage功耗在整个功耗中的比重越来越大,比如45nm下,已经占到了60%以上,所以低功耗解决方案应运而生。目前已经有一套标准的低功耗设计流程,流程有CPF(cadence主导)和UPF(synopsys主导)两种,但技术趋势是UPF会大一统,所以本篇将为那些仍旧使用ncverilog而不是vcs仿真工具的苦逼们提供一些参考。
J-Uhn)a/U,X'o?0目前常用的降低低功耗的方法有四种:多电压域、时钟门控、电源关断和动态电压频率调整。其中的时钟门控对验证影响较小,大家应该都接触过,而剩下的三个对验证工作影响较大,需要用到各个EDA厂商的低功耗解决方案。永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】JFty-qr(w%y5o4{

永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】;r)JR_;zVt;]

闲话就说这么多,那么cadence如何使用upf来实现低功耗流程的仿真验证呢?
2Y;KVV/l YJ0第一步,先得有UPF文件,根据设计需求,使用TCL建立脚本,建立和管理独立电压源、确定隔离、建立电平漂移等,一般是设计或者后端人员书写,验证工程师当然也可以写,具体内容参考IEEE 1801。
o%}"Qr5N.W&mYl~0第二步,仿真case中添加电源上电过程,使用$supply_on函数给相应VDD上电。永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】?2LC k,u
第三步,将UPF嵌入到仿真命令中,即:

3B\N&IC#AE3}Bdl0
irun -lps_1801 sim.upf -lps_assign_ft_buf -lps_iso_verbose ...

;pnx3h[*W5s0\GG0或者永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】3Zf0|'uf7jH

1 ncvlog ...
2 ncelab -lps_1801 sim.upf -lps_assign_ft_buf -lps_iso_verbose ...
3 ncsim ...

e/Wr+wPPm0相关options解释如下:
k]I K8L6@ Kv c0①-lps_1801 filename: 指定符合IEEE 1801标准的UPF文件;
;J-[ ?jaE9I0②-lps_assign_ft_buf: 指定assign赋值被当做buffer对待,而非默认的wire,好处是从always-on domain进入和穿过power-down domain的信号被force成x,便于debug;
Z4z5jq;c[b @Z0③-lps_const_aon: 对处在power-down domain并且直接和always-on domain相连接的tie-high或者tie-low constant,不使能corruption功能;默认不使用该功能;
$~'j`"b&D0④-lps_enum_rand_corrupt:对于用户定义的enum类型数据,在电源关断后,随机从枚举列表中选择一个值作为变量值;和该命令相类似的还有-lps_enum_right, -lps_implicit_pso等,因为不常用,就不一一介绍了;
'^}nI-i@0⑤-lps_iso_verbose: 使能isolation的log功能,这个一般需要加上;永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】*Ch c$a*@!?N!g(w
⑥...
"Y d S)Mp6Z0其它的options请参考cadence的low-power simulation guide。
N c"F1@t0最后,运行仿真即可。

GO,Ly8\)^{0

It wRjR _0最后说一下low power流程验证正确性和完备性的确认方法。永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】D'Ey DH$Y0?u:a"j
①增加的low power流程不能影响芯片本身功能的正确性,比如通过电源关断来降低芯片功耗,则关断再打开后,芯片还可以正常work。这部分可以利用原有的self-check验证环境来确认。永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】&o$wA@,J*N[n
②利用log文件分析,上述仿真命令-lps_verbose和UPF文件会为仿真输出与low power相关的warning, error以及assertion信息,通过log文件可以check流程的正确性;
Gh+e%W2}f'abj-Q0③自动的assertion checker分析,使用-lps_verify选项可以自动检查电源关断顺序(隔离->复位->断电)和电源打开过程(上电->解复位->解隔离),如不满足该时序要求,会自动报错;永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】 s f1b~$~#UK$V
④利用覆盖率保证验证完备性,使用-lps_vplan选项依据UPF文件生成low power验证计划,通过simvision提供的coverage接口,得到low power相关的功能覆盖率;

'`H-W5}3y V0

S7Eg&W5trr"D0注:
D.gt%Kr8[4jx-x01、UPF(Unified Power Format)是Synopsys公司提出的一种对芯片中电源域设计进行约束的文件格式。通过与UPF 格式匹配的Liberty文件,UPF约束文件可以被整套Galaxy物理实现平台的任何一个环节直接使用,并将设计者的电源设计约束传递给设计工具,由工具完成设计的实现工作,从而实现整套数字集成电路低功耗物理实现的流程。永利皇宫官网网址_永利娱乐pt88.vip_永利集团网址导航【至尊享受】@3Ew2?t:t$W$_S.v4B


f)w9?G?2U0

TAG: Cadence cadence CADENCE Synopsys synopsys SYNOPSYS UPF

 

评分:0

我来说两句

显示全部

:loveliness: :handshake :victory: :funk: :time: :kiss: :call: :hug: :lol :'( :Q :L ;P :$ :P :o :@ :D :( :)

Open Toolbar