Assertion to check pulse 2 inside pulse 1

[devil47]

How about this?

property p1;
$rose(Pulse1) |-> Pulse2[=1] within Pulse1[*10:100];
endproperty