%0 Journal Article %T ارائه‌ی الگوریتم نوین ساده‌سازی DCVS بر پایه‌ی قانون جدید تزویج سطوح %J مهندسی صنایع و مدیریت %I دانشگاه صنعتی شریف %Z 2676-4741 %A کاوه‌ای, امید %A ناوی, کیوان %A نیکوبین, تورج %D 2007 %\ 06/22/2007 %V دوره 23 %N 38 - ویژه مهندسی برق و کامپیوتر %P 59-66 %! ارائه‌ی الگوریتم نوین ساده‌سازی DCVS بر پایه‌ی قانون جدید تزویج سطوح %K - %R %X در این نوشتار روشی نوین برای ساده‌سازی درخت پایین‌بر که نقش بسیار اساسی در پیاده‌سازی منطق تفاضلی دارد پیشنهاد خواهد شد. این الگوریتم بر قانون جدید تزویج سطوح، که از قابلیت ساده‌سازی بیشتری برخوردار است، مبتنی است. الگوریتم ارائه شده، با استفاده از این قانون و ترکیب آنبا قوانین پیشین، روشی نوین برای طراحی شبکه‌ی درخت پایین‌بر معرفی می‌کند. در بیان الگوریتم پیشنهادی، برای نخستین بار از بیان ماتریس‌گونه‌ی رابطه بین ترتیب ورودی‌های و متغیرهای کنترلی در یک نمودار تصمیم‌گیری استفاده شده است. با به‌کارگیری این روش می‌توان به میزان قابل توجهی سرعت و فضای اشغالی را بهبود بخشید. نتایج حاصل از اِعمالِ الگوریتم پیشنهادی روی برخی از مدارات b‌e‌n‌c‌h‌m‌a‌r‌k نشان‌دهنده‌ی بهبود چشم‌گیر در کاهش تعداد گره به‌کار رفته در پیاده‌سازی مدارات است. %U https://sjie.journals.sharif.edu/article_4872_7293430dae14355e4a61671fcd70db98.pdf