always组合逻辑的问题

shxr

always @(a or b or c or d or e or f or g or h or i or j or k or g or m)
begin
    if(!a)
        dout=1'b1;
    else if(b && !c)
              dout=din;
    else if(e && (b || f) || (g && (!h)))
              dout=1'b1;
    else if((b && i && j) || (f && k) || (g && m))
              dout = 1'b0;
    else
             dout=dout;
end

1、这样一个逻辑会不会违反coding style
2、最后一个dout=dout，dout需不需要写到敏感列表里去，不写的话会不会有生成锁存器的风险。或者有没有更优的写法。

acgoal

1. 会违反coding style。
2. 就是最后这个条件违反了coding style。要明确的是，是否有锁存器不是由敏感列表决定的，而是由你写的代码决定，这里的最后一句，无论你是否有敏感列表，都有锁存器。
3. 任何的组合逻辑没有保存当前值的功能，只有时序逻辑中的寄存器才可以做到。所以，如果你要dout=dout，那么就要用时序逻辑来做。

shxr

谢谢楼上大侠的回答，很detail，many thanks！
若我需要在除去以上四个条件之外的条件下dout保持原值无法用组合逻辑实现了？

Lawee

使用 always @ ( * )

最后的dout=dout会综合成为latch，也是可以使用的

shxr

设计要求if(b && !c)，dout必须等于din，不能有任何区别，那该怎么做呀

xcb2002

使用 always @ ( * )

最后的dout=dout会综合成为latch，也是可以使用的
Lawee 发表于 2011-7-4 16:39

                               
登录/注册后可看大图

    这样是综合成MUX了吧，如果没记错的话

zhunh

肯定综合成LATCH了

Guanming1234

个人认为如果将dout设置成register类型，那会变成latch!好像没有2种情况可供选择的吧！

shxr

这个必定是综合成latch，但是用latch不是容易出现亚稳态嘛，，我这里若要实现功能也必须冒着这个风险咯，，，我想知道这样能是可靠设计么

pptwo

always块尽量作为时序逻辑设计，纯组合逻辑是不锁存的