Word-Level Decision Diagrams, WLCDs and Division

  • Authors:

  • Christoph Scholl

  • Affiliations:

  • -

  • Venue:
  • Word-Level Decision Diagrams, WLCDs and Division
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

Several types of Decision Diagrams (DDs) have been proposed for the verification of Integrated Circuits. Recently, word-level DDs like BMDs, *BMDs, HDDs, K*BMDs and *PHDDs have been attracting more and more interest, e.g., by using *BMDs and *PHDDs it was for the first time possible to formally verify integer multipliers and floating point multipliers of ``significant'''' bitlengths, respectively.