In reply to MICRO_91:
why isn’t multi-clocked intersect operator legal ?
1800: The two operands of intersect are sequences. The requirements for match of the intersect operation are as follows: — Both the operands shall match. — The lengths of the two matches of the operand sequences shall be the same.
[Ben] Because the lengths of the two matches of the operand sequences cannot be guaranteed to be the same.
Also, your example not( @( ip_clk ) 1 ) intersect @(posedge global_clk) ( $fell( en ) [->1] ); has a property_expr intersect sequence_expr, which is illegal.
Ben