نمودار تصمیم گیری دودویی مرتب شده و کاربرد آن در طراحی مدارهای مجتمع بسیار فشرده

نمودار تصمیم گیری دودویی( BDD ) یکی از روش های نمادین بررسی مدل است که به طرز قابل توجهی سبب بهبود کارآیی روش بررسی مدل می شود. اما اجرای این ساختار نیاز به حافظه بالایی دارد، لذا نیاز به بهبود از لحاظ کاهش حجم و افزایش سرعت دارد. نمودار تصمیم گیری دودویی مرتب شده( OBDD ) نموداری است که با استفاده از کاهش حالات نمودار تصمیم گیری دودویی بدست می آید و تا حدود زیادی نمودار تصمیم گیری دودویی را بهبود داده است. این نمودار، ساختار کارامدی برای توصیف توابع گسسته در حوزه زمان و حافظه می باشد، که به دلیل این ویژگی، کاربرد گسترده ای در حل مسائل مرتبط با علوم کامپیوتر و مهندسی، از جمله طراحی مدارهای مجتمع بسیار فشرده به ویژه روش های طراحی به کمک کامپیوتر دارد. دراین مقاله، اصول نمودار تصمیم گیری دودویی مرتب شده و ویژگی های آن با تمرکز بر کاربردهایاین گراف در طراحی مدارهای مجتمع تشریح می شود.

کلیدواژه ها:

نمودار تصمیم گیری دودویی مرتب شده ، روش بررسی مدل