عنوان :
توليد الگوهاي آزمون در سطح رفتاري
پديدآورندگان :
نوابي زين العابدين نويسنده , خلفي عليرضا نويسنده
نام دانشگاه :
دانشگاه تهران ، دانشكده فني
كليدواژه زبان طبيعي :
بردار آزمون , الگوريتم , توليد بردارهاي آزمون , آزمون رفتاري (برق ) , آزمون پذيري , بخش برق -الكترونيك
دامنه موضوعي :
فني و مهندسي
چكيده :
افزايش پيچيدگي مدارهاي مجتمع ، كاربرد روشهاي متداول طراحي و آزمون را با دشواري روبرو ساخته است . استفاده از شيوه طراحي سلسله مراتبي همراه با بكارگيري زبانهاي توصيف سخت افزاري ، يكي از راه حلهاي غلبه بر اين پيچيدگي است . توصيف سطح بالايي كه در اين شيوه تهيه مي شود، تنها عملكرد اصلي سيستم را شرح داده و مشخصات سخت افزاري در آن منظور نمي شوند. از اينرو، اين توصيف مي تواند به عنوان معياري جهت تاييد پياده سازي صحيح مدار با سيستم مورد نظر بكار مي رود. استفاده از اطلاعات اين توصيف در جهت توليد الگوهاي آزمون ، در سالهاي اخير موردتوجه قرار گرفته است . ...
