فهرس المقالات بيژن عليزاده المقاله 1 - يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL 20.1001.1.16823745.1382.1.2.6.9 بيژن عليزاده زین العابدین نوابی فصلنامه مهندسی برق و مهندسی کامپيوتر ايران , العدد 2 , السنة 1 , پاییز-زمستان 1382