فهرس المقالات Transition relation functions integer equations solverpolynomial integer equationsBDD حرية الوصول المقاله صفحة الملخص نص كامل 1 - يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL بيژن عليزاده زین العابدین نوابی