asynchronous - 非同期 D FlipFlop 合成

Question

 module dff_async(clk,r1,r2,dout);
 input clk,r1,r2;
 output reg dout;

  always@(posedge clk or negedge r1)
  begin

    if(r2)
      dout<=1'b1;
    else
      dout<=1'b0;
  end

 endmodule

上記のコードは合成されず、エラーがあります:

合成では、複数のシングル エッジでの代入はサポートされていません

私の解釈によれば、コードは上図のように合成されているはずです。問題が見つかりません。コードの合成で止まっているのは何ですか?