موتور شبیه ساز احتمالی-منطقی

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

کلیدواژه ها:

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