关于spygalss的warning，STARC05-1.3.1.3

eexng

小白，做spyglass lint_rtl检查，检查到了关于异步复位的问题，看上去好想是说我把异步复位当做同步复位了或者没当复位使用。但是看代码貌似没有问题。请大神指导。

WARNING内容如下


STARC05-1.3.1.3 (1) : Asynchronous reset/preset signals must not be used as non-reset/preset or synchronous reset/preset signals


Asynchronous reset signal 'logger.rst_n' (flop: 'logger.u_aq_axi_master.rd_fifo_cnt[0]') used as non-reset/synchronous-reset at instance 'logger.u_aq_axi_master.reg_r_last_reg.EN' (File Name: '../../../mnt/hgfs/02_vivado_v10/src/log_tst/aq_axi_master.sv' ,Line no.: '343')

                               
登录/注册后可看大图

代码如下。

                               
登录/注册后可看大图

                               
登录/注册后可看大图

pengpengjy

请问您解决了么

小兔子宝宝哒

spyglass报错的时候显示的是这部分逻辑，但是打开Incremental  Schematic后会发现复位信号被其他模块综合成了触发器的D端或者EN端等

yasimi

请问你解决了吗

lzhj21

342行开始的那个always块，else块里是不是出现了其他的信号

lzhj21

lzhj21 发表于 2023-9-14 13:55
342行开始的那个always块，else块里是不是出现了其他的信号

如果是这样的话，复位信号会被当成这个触发器的ld信号，然后就会报你这个错误

yasimi

“reg_r_last_reg”这个寄存器应该在你复位的时候未被赋复位值，所以复位信号会被综合成这个寄存器的D输入端

叫我草草

小兔子宝宝哒 发表于 2023-6-15 16:33
spyglass报错的时候显示的是这部分逻辑，但是打开Incremental  Schematic后会发现复位信号被其他模块综合成 ...

请问为什么会被综合成EN或者D端信号呢？

jilinwjx

yasimi 发表于 2023-12-25 09:51
“reg_r_last_reg”这个寄存器应该在你复位的时候未被赋复位值，所以复位信号会被综合成这个寄存器的D输入 ...

确实如此，问题解决了

华仔成龙

这种问题如何解决？