Je to současně nebo sekvenční tvrzení?

[kunal1514]

Je to současně tvrzení, nebo sekvenční tvrzenívlastnictví prop19; //------> Nemovitosti - 19
@ (Posedge SCLK)
(RST_n == 1'b1) | -> (shwy_req == 1'b0) | -> (shwy_req! == 1'bx | | shwy_req! == 1'bz);
endproperty

řekni mi důvod, proč také.

Jde to

Kunal Mishra

 

[aji_vlsi]

kunal1514 napsal:

Je to současně tvrzení, nebo sekvenční tvrzenívlastnictví prop19; //------> Nemovitosti - 19

@ (Posedge SCLK)

(RST_n == 1'b1) | -> (shwy_req == 1'b0) | -> (shwy_req! == 1'bx | | shwy_req! == 1'bz);

endpropertyřekni mi důvod, proč také.Jde toKunal Mishra