In reply to dave_59:
Okay.
When I am writing assertions in 20 pins I have to write assertions for every single pin?
Like this:
property p_signal_0
@(posedge clk) !switch_0 |-> enable_0 && !mem_read;
endproperty
property p_signal_1
@(posedge clk) !switch_1 |-> enable_1 && !mem_read;
endproperty
//... and son on 20 times.
My question is: how can I do that more efficiently?