روش جديد محاسبه ميزان پوشش در ارزيابي رسمي سيستم هاي سخت افزاري  Fulltext 

[ مجيد نبي ] - دانشكده برق و كامپيوتر، دانشكده فني، دانشگاه تهران
[ حميد شجاعي ] - دانشكده برق و كامپيوتر، دانشكده فني، دانشگاه تهران
[ زين العابدين نوابي ] - دانشكده برق و كامپيوتر، دانشكده فني، دانشگاه تهران

خلاصه مقاله:

پيچيدگي سيستم هاي سخت افزاري روز به روز در حال افزايش است و از طرفي لزوم داشتن يك سيستم سخت افزاري مطمئن و درست ضروري مي باشد. اين افزايش پيچيدگي و نياز به سيستم با عملكرد صحيح لزوم روش هاي مطمئن و ارزيابي را به وجود مي آورد. بديهي است كه در سيستم هاي با پيچيدگي زياد روش معمول مبتني بر شبيه سازي جوابگو نبوده و امروزه روش هاي ارزيابي رسمي گسترش پيداكرده اند. بعد از به كارگيري اين روشها ، اطلاع از ميزان پوشش طرح توسط اين روش ها مساله مهم ديگري است كه بايد مورد بررسي قرار گيرد. تاكنون روش هاي مختلفي براي محاسبه ميزان پوشش در روش هاي ارزيابي رسمي ارائه شده است. در اين مقاله به روش ميزان پوشش سيگنال ها براي محاسبه درصد سيگنال هاي پوشش داده شده توسط مجموعه خصوصيات در ارزيابي رسمي ميپردازيم و با ارائه مثال ها و نتايج تجربي ميزان كارا بودن آن را بررسي مي كنيم.

ارزيابي رسمي ، پوشش سيگنال ها ، ميزان پوشش ، Verilog model checking , formal verification , CTL