Async set deassertion

[stanford]

For a flop with async set, we should have deassertion of the async set be synchronous to the clk.

Is this how the set synchronizer looks like?

Two back to back flops with 1'b0 on the d input of the first flop and async_set signal driving the async set pin of the two flops?

 

[barry]

Sounds right. Q of the first FF connects to D of the second