One class of circuits frequently occurring in VLSI CAD are arithmetic circuits, like adders and multipliers. WLDDs seem to be well suited for verification of these functions due to their high regularity.
KeywordsVariable Order Terminal Node Partial Product Recursive Call Full Adder
Unable to display preview. Download preview PDF.