TY  - JOUR
AU  - Alizadeh, B.
AU  - Navabi, Z.
TI  - يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL ‌
JO  - فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
VL  - 1
IS  - 2
SP  - 92
EP  - 98
PY  - 2003
DO  - 
ER  -