fm question

chenzhao.ee · 发表于 2012-1-14 11:22:07

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

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

x

有fm做形式验证，两个网表均为加过dft的netlist，测试模式控制port已经设置为0（function mode)，但是verify的结果仍有问题，如下图所示。上面的为ref，下面为imp，比较困惑的是ref当中的clk_gate_va_reg_reg为smic lib当中的
TLATNTSCA cell，为带scan功能的clk gate cell，其中TE和EN根据真值表只要有一个为1,那么ENCLK就为CLK，ref中的ENCLK不为1反而为0，不知道怎么解释？

fm_error

chenzhao.ee · 发表于 2012-1-14 11:24:11

回复 1# chenzhao.ee
另外就是fm当中的c1和c0跟1和0的区别是啥？一个为constant value?

[求助] fm question

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

相关帖子