嵌套@支持？

Question

我正在尝试使用以下syntasix创建一个隐式FSM：

always @(posedge clock) begin
   @(posedge clock)begin
       statement
   end
   @(posedge clock)begin
       statement
   end

它在模拟中工作正常但是当我尝试合成时，会显示错误： “语法意外@”

yosys不支持这个sintax吗？

THX

Answer 1

高级综合工具可以支持此功能，并在单个always块中的多个时钟边缘构建状态机。但我不认为yosys可以处理它。