case (Rcv_current_state)
waiting:
if (~sin)
begin
Rcv_next_state <= check_lock;
// pragma synthesis_off
$hdsNextPath(0,1);
// pragma synthesis_on
end
else
begin
Rcv_next_state <= waiting;
// pragma synthesis_off
$hdsNextPath(0,0);
// pragma synthesis_on
end