آرزو کامران - دانشگاه رازی، کرمانشاه، ایران

در این مقاله یک موتور شبیه ساز احتمالاتی -منطقی ارایه شده شده است که، امکان شبیه سازی توصیف سطح گیت یک مدار دیجیتال را در دو سامانه عددی مختلف فراهم مینماید . این دو سامانه عددی، یکی سامانه منطقی پنج-مقداری و دیگری سامانه احتمالی چهار-مقداری است. موتور شبیهسازی احتمالاتی-منطقی و روش مدلسازی شیءگرای پیشنهادی همراه آن میتواند به صورت موثر برای پیادهسازی و نیز ارزیابی یکپارچه و سریع روشهای مختلف آزمون و روشهای مقابله با پیری در مدارهای دیجیتال مورد استفاده قرار گیرد.

موتور شبیه ساز، الگوریتم های آزمون، شبیه سازی احتمالاتی، شبیه سازی اشکال