Эти Verilog кодов являются достаточно надежными?

[Guest]

Привет всем,
У меня есть задача о asynchronization
Я хочу знать, если сигнал LatchedRxStartFrm в следующих кодов будет хорошо работать.

Большое спасибоВсегда @ (posedge MRxClk или negedge hresetn)
начинать
если (hresetn == 1'b0)
LatchedRxStartFrm <= # 0 ТР;
еще
/ / Здесь RxStartFrm вызван MRxClk и SyncRxStartFrm_q вызван hclk
если (RxStartFrm & ~ SyncRxStartFrm_q)
LatchedRxStartFrm <= # 1 тр;
еще
если (SyncRxStartFrm_q)
LatchedRxStartFrm <= # 0 ТР;
конецВсегда @ (posedge hclk или negedge hresetn)
начинать
если (hresetn == 1'b0)
SyncRxStartFrm <= # 0 ТР;
еще
если (LatchedRxStartFrm)
SyncRxStartFrm <= # 1 тр;
еще
SyncRxStartFrm <= # 0 ТР;
конецВсегда @ (posedge hclk или negedge hresetn)
начинать
если (hresetn == 1'b0)
SyncRxStartFrm_q <= # 0 ТР;
еще
SyncRxStartFrm_q <= # тр SyncRxStartFrm;
конец

Всегда @ (posedge hclk или negedge hresetn)
начинать
если (hresetn == 1'b0)
SyncRxStartFrm_q2 <= # 0 ТР;
еще
SyncRxStartFrm_q2 <= # тр SyncRxStartFrm_q;
конец