网络上关于ASK解调的很多代码都与下面这个类似，但是仿真始终不能通过，现有如下疑问： 1、  在第二个always块的敏感信号列表中只有x，所以该过程块完全由x块驱动，也就是当x的上升沿未到达时，该过程块不执行。故当x是一连串低电平时，y并不能被及时的赋值为0，因为它被赋值为0还需要有clk的触发，从而保证cnt等于3'b110时它能得到执行。而这与设计的预期不符合。 2、  曾想过，将m<=m+1放在另一个always块中，但是它引入的问题是在两个不同的always块中对m赋值，虽然在ModelSim中仿真通过，但是是不可综合的。


请网友们帮忙看看，谢谢

module ASK_two(clk,reset,x,y);    input clk;    input reset; input x; //输入的已调ASK信号 output y; //输出的调制信号   reg y;   reg[2:0]cnt; reg[2:0]m;   always@(posedge clk) begin if(!reset) begin           cnt<=3'b000; end else         cnt<=cnt+1; end   always@(posedge x) begin  if(!reset) begin  m<=3'b000; end else  begin           if(cnt==3'b110) begin               if(m<=3'b010)                   y<=1'b0;               else                   y<=1'b1;                m<=3'b000;             end           else              m<=m+1; end end endmodule