DFT Compiler遇到的关于复位的问题

fl_5588

如下面的代码：
always@ ( posedge clk or posedge rst) begin
   if (~rst)
      dff1 <= 0;
   else begin
      dff1 <= a+b;
      dff2 <= dff1;
   end
end
在这段代码中，由于dff2没有复位，所以会综合出带E（保持）端的DFF，这样的DFF工具会报错：时钟或者异步复位信号连接到了数据输入端。（smic 130 工艺）
有人遇到过吗？这是什么原因呢？应该如何修改呢？谢谢大牛指点。
可不可以把所有的DFF都复位，但是这样在DFF很多且确实不需要复位的时候有点浪费。或者将不需要复位的DFF单独写，使之与rst信号不产生关系，但是有的参考书确实写过本例中的代码类型，难道是他们没有做scan所以没有遇到这样的各位问题？

fl_5588

来人啊！自己顶一个，不会没人遇到吧

walliamaa

回复 1# fl_5588

代码中给DFF2加一个复位，功能应该没变。也可解决DFT问题。

wrhwindboy

没有复位应该不至于报错吧

fl_5588

回复 2# fl_5588


    这里DFF有特别多，reg组，没有必要复位的DFF

spauls

Use GALS approach

Globally Async and Locally Sync.

fl_5588

回复 4# wrhwindboy


   因为这个代码会生成了E端的DFF，会报一个时钟或者异步信号输入到了（E端的）DFF数据输入端的错误

fl_5588

回复 6# spauls


Is this a common problem？
   Thank you，spauls.

autumnwind

试试看这样
always@ ( posedge clk or posedge rst) begin
   if (~rst)
      dff1 <= 0;
   else begin
      dff1 <= a+b;
   end
end

always@ ( posedge clk）
begin
    dff2 <= dff1;
end

fl_5588

回复 9# autumnwind

嗯，我们也是这么改的。谢谢你