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