关于always敏感信号列表的问题

kqkqk

always块@（）里面的敏感信号一定要在always块内部有所涉及吗？比如说我写always@（posedge clk or negedge rst）但我紧跟着后面的beginend语句内部不涉及到rst信号可以吗？
还有就是我写的这段程序
always@(posedge clk or posedge rst_n)
begin
if(!rst_n)
count<=24'b0;
else if( count==24'd10_000_000)
   count<=24'b0;
else
   count<=count+1;
end
如果删去关于所有rst_n的部分，就可以编译成功，否则就不行，请问这是为什么呢？

武526爱5

你在if语句中写了if（!rst_n)，意味着下面的语句只有在rst_n处于低电平（也就是逻辑0）才能被执行，而你always模块写了（posedge rst_n），意味着运行条件是rst_n的上升沿，也就是说，在执行这个模块的时候这个信号刚刚上升是处于高电平（也就是逻辑1）的状态。这两者相互矛盾，逻辑上是无法发生的！

正点原子

帮顶

SunML

敏感列表列出来的信号模块里也可以不使用。你的代码里使用的是！rst_n，相当于是在判断复位信号的下降沿，因此敏感列表里应该是 always@(posedge clk or negedge rst_n)

kqkqk

武526爱5 发表于 2019-7-27 16:22
你在if语句中写了if（!rst_n)，意味着下面的语句只有在rst_n处于低电平（也就是逻辑0）才能被执行，而你alw ...

为什么矛盾呢，如果在clk上升时触发always块，rst_n又正好处于低电平的时候执行if语句中的话不可以吗？
然后可不可以请教一下，如果敏感列表中包括rst_n，但always块里再没出现过rst_n,quartus
也会报错，这是为什么呢？

kqkqk

SunML 发表于 2019-7-29 09:23
敏感列表列出来的信号模块里也可以不使用。你的代码里使用的是！rst_n，相当于是在判断复位信号的下降沿， ...

我改成always@(posedge clk or negedge rst_n)
begin

  if(count==24'd10_000_000)
        count<=24'b0;
else
        count<=count+1;
end
也会报错的