|
|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
×
有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,不知道怎么解释?
|
|