specify
// arc CK --> Q
(posedge CK => (Q : D)) = (1.0,1.0);
// arc RB --> Qx
(RB => Q) = (1.0,1.0);
$width(negedge CK,1.0,0,notifier);
$width(posedge CK,1.0,0,notifier);
// setuphold D- CK-LH
$setuphold(posedge CK &&& (ENABLE_RB === 1'b1),
negedge D &&& (ENABLE_RB === 1'b1),
1.0,1.0,notifier,,,CK$delay,D$delay);
// setuphold D- CK-LH
$setuphold(posedge CK &&& (ENABLE_RB === 1'b1),
posedge D &&& (ENABLE_RB === 1'b1),
1.0,1.0,notifier,,,CK$delay,D$delay);
// recrem RB-CK-posedge
$recrem(posedge RB,posedge CK,1.0,1.0,notifier,,,RB$delay,CK$delay);
$width(negedge RB,1.0,0,notifier);
endspecify