عنوان مقاله :
يك مدل سطح بالا براي وارسي خواص CTL در طرح توصيف شده توسط VHDL
پديد آورندگان :
عليزاده، بيژن دانشگاه تهران - دانشكده فني , نوابي، زين العابدين دانشگاه تهران - دانشكده فني - گروه برق و كامپيوتر
كليدواژه :
توابع انتقال حالت , حل كننده معادلات صحيح , معادلات چندجمله اي با متغيرهاي صحيح , BDD , Boolean Satisfiability
چكيده فارسي :
در اين مقاله قصد داريم مدل سطح بالايي بر پاية معادلات چندجمله اي با متغيرهاي صحيح ارائه دهيم كه مناسب براي وارسي خواص بر پاية CTL (Computational Temporal Logic) ميباشد. اكثر ابزارهاي وارسي از ساختمان داده هاي سطح پاييني مانند BDD استفاده ميكنند و اين ساختمان دادهها به علت نياز به حافظه زياد، قابل اعمال به بخش مسير داده از يك طرح نميباشند، در حالي كه مدل سطح بالاي پيشنهادي در اين مقاله قادر است بخشهاي مسير داده و كنترلر را با هم مورد ارزيابي قرار دهد. ضمن اينكه روش پيشنهادي به گونه اي است كه نياز به حل صريح معادلات نميباشد و اين كار توسط عمليات جايگزيني و ساده سازي انجام ميگيرد. در انتها نتايج كارمان با ابزار VIS، بعنوان يك ابزار وارسي بر پاية BDD، مقايسه ميگردند.
عنوان نشريه :
مهندسي برق و مهندسي كامپيوتر ايران
عنوان نشريه :
مهندسي برق و مهندسي كامپيوتر ايران
