%0 Journal Article
%A عليزاده, بيژن, نوابی, زین العابدین
%T يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL ‌
%J فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
%V 1
%N 2
%P 92-98
%D 2003
%R 
%U https://rimag.ir/fa/Article/27822