ارايه الگوريتم نوين ساده سازي DCVS بر پايه قانون جديد تزويج سطوح

در اين نوشتار روشي نوين براي ساده سازي درخت پايين بر كه نقش بسيار اساسي در پياده سازي منطق تفاضلي دارد پيشنهاد خواهد شد. اين الگوريتم بر قانون جديد تزويج سطوح، كه از قابليت ساده سازي بيشتري برخوردار است، مبتني است. الگوريتم ارايه شده، با استفاده از اين قانون و تركيب آن با قوانين پيشين، روشي نوين براي طراحي شبكه درخت پايين بر معرفي مي كند. در بيان الگوريتم پيشنهادي، براي نخستين بار از بيان ماتريس گونه رابطه بين ترتيب ورودي هاي و متغيرهاي كنترلي در يك نمودار تصميم گيري استفاده شده است. با به كارگيري اين روش مي توان به ميزان قابل توجهي سرعت و فضاي اشغالي را بهبود بخشيد. نتايج حاصل از اعمال الگوريتم پيشنهادي روي برخي از مدارات benchmark نشان دهنده بهبود چشم گير در كاهش تعداد گره به كار رفته در پياده سازي مدارات است.