Tizim Verilog da'vosidagi ketma-ketlik va mulk o'rtasidagi farq nima?


javob bering 1:

Sequences - bu tasdiqlashda ishlatiladigan (shuningdek, qoplamada) xususiyatlarni aniqlash uchun foydalaniladigan qurilish bloklari.

Xususiyat ko'pincha xatti-harakatlar / iboralar ketma-ketligidir. Agar mulk ta'rifida murakkab ketma-ketliklar mavjud bo'lsa, siz ushbu individual iboralarni aniqlash uchun mulk tartibini ishlatishingiz va mulk ta'riflarini yaratishda foydalanishingiz mumkin.

Bu erda bir mulkka misol (ishonch sifatida ishlatiladi), agar A signali rost bo'lsa, B 10 tsikldan keyin to'g'riligini aytadi.

tasdiqlash xususiyati (@posedge clk) A ## 10 B;

Siz ketma-ketlik ta'rifi bilan va quyida keltirilgan bir xil xususiyatlardan foydalanib, bir xil yozishingiz mumkin.

Sig_delay ketma-ketligi (x, y, numcyc); x # # y; Tugash ketma-ketligini tasdiqlash xususiyati (@posedge clk) sig_delay (A, B, 10);

Ushbu misolda ketma-ketlik xatti-harakati mulkni aniqlashdan alohida mavhumlashtiriladi. Ba'zi afzalliklar ularni turli xil kechiktirish qiymatlari bilan turli xil mulkiy ta'riflarda qayta ishlatish, ushbu ketma-ketlikdan foydalanib boshqa murakkab ketma-ketliklar yaratish va boshqalar.


javob bering 2:

Xususiyat - bu xulq-atvorni ifodalovchi va mantiqiy ketma-ketliklarning tavsifi yoki to'plami.

Xususiyatda voqealar ketma-ketligi ta'rifi mavjud. Mulk deklaratsiya mulkida aniqlanishi mumkin ... yakuniy mulk.

Xulq-atvor holatini yanada tushuntirish uchun, kalit so'z xususiyati tasdiqlash, taxmin qilish, kutish va cheklash kabi tasdiqlashlar bilan biriktirildi.

Quyidagi misol buni tushuntiradi:

Mulk P1; @ (Posedge clk) ni o'chiring (! Asl holatini tiklash) a | => b 1 c 2 d; P1 oxirgi xususiyati aks holda $ xato ("mulk muvaffaqiyatsiz");

Agar bitta xususiyatdan foydalanib ifoda yozish zerikarli bo'lsa, tushunish oson bo'lishi uchun bir nechta ketma-ketliklarga bo'linadi. Qisqa ketma-ketlikda, shuningdek, Boolean iboralar to'plami ham mavjud.

Navbat s1; a 2 b; S2 tugatish ketma-ketligi; a | -> c; R1 sonli xususiyat; @ (posedge clk) S1 | -> S2; endproperty.

Shunday qilib, yuqoridagi koddan ikkita narsa chiqishi kerak:

Butun iborani bitta mulkda ifodalash qiyin bo'lgani uchun, uni oson tushunish uchun bir necha ketma-ketliklarga bo'lingan. Ikkinchidan, namuna olish vaqtining qirrasi har doim mulkda aniqlanadi, ammo bu majburiy emas, shuningdek, ketma-ketlikda ham aniqlanishi kerak, ammo diqqat qilish kerak bo'lgan narsa shundaki, biz soatning qirrasini mulk sifatida e'lon qilsak ham, u bir xil soat chetiga ega. Yuqoridagi ketma-ketlik kodida aniq ko'rsatilmagan bo'lsa-da, ketma-ketliklar meros bo'lib o'tdi.