支持嵌套@吗？

Question

我正在尝试使用以下语法创建隐式 FSM：

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

它在模拟中运行良好，但当我尝试合成时，显示错误： "syntax unexpected @"

yosys 不支持此语法吗？

谢谢

Answer 1

高级综合工具可以支持这一点，并在单个 always 块中从多个时钟边沿构建状态机。但我不认为yosys可以处理它。

is nested @ supported?