K
kunal1514
Guest
Hi All, vrlo zanimljiv upit Imam. Može bilo koji tijelo recite mi da u nastavku spominje Sequence "Sequence1" će naslijediti koji sat ili "src_clk" ili "dst_clk". Kao što je to "nekretnine" sadrži dva satove. Nekretnine / / -------------------------------------------- vlasništvo clk_implication_example; @ (posedge src_clk) seq0 | => @ (posedge dst_clk) prop0; endproperty / / ------------------------------- -------------- Slijed / / --------------------------------- ------------ slijed Sequence1; ~ reset # # 5 req; endsequence / / ------------------------- -------------------- to objasniti. Pozdrav