rtl和插入扫描链之后网标的形式验证

hobmomo · 发表于 2015-1-28 19:35:21

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 hobmomo 于 2015-1-29 09:28 编辑

在综合插入扫描链的时候用了下面这些命令
set_scan_element flase u_iic/O_scan_mode
set_dft_drc_configuration -internal_pins enable
set_dft_signal -view spec -type TestMode -hookup_pin u_iic/O_scan_mode -active_state 1

set_dft_signal -view exist -type ScanEnable -active_state 1 -port rxd_from_pad

综合完成之后做形式验证时设置

set_constant r:/WORK/top/u_iic/O_scan_mode 0
set_constant i:/WORK/top/u_iic/O_scan_mode 0

在match的时候我发现工具会自动把rxd_from_pad设置为0，这样verify的时候就会过不了。
请问为什么工具自动设置，我看svf里面有这么一段
guide_scan_input \
  -design { digital_core } \
  -disable_value 0 \
  -ports { spimode_from_pad }
是不是倒入svf的时候这段设置起的作用，请帮忙解释下这段话

taotao_ic · 发表于 2015-1-29 14:37:58

这几个设置应该没有问题。testmode是控制 test模式，shift enable是控制 dft shift模式，当你stitich scan chain后，一定要设的。

hobmomo · 发表于 2015-1-30 16:42:54

我在形式验证的脚本里面对rxd_from_pad的constant约束remove掉，匹配上的点会多一些，但是还是不能完全匹配，另外我综合的时候我把set_scan_element flase u_iic/O_scan_mode 改成set_scan_element flase u_iic/scan_mode_reg, 综合完成后verify就只剩u_iic/scan_mode_reg这个寄存器不匹配了，请问对port（O_scan_mode）和对寄存器（scan_mode_reg）使用set_scan_element flase 有什么不同呢

hobmomo · 发表于 2015-1-30 16:58:36

呃，刚man了下set_scan_element,好像这个命令不能对port，只能对cell，reference和design使用

[求助] rtl和插入扫描链之后网标的形式验证

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1