• DocumentCode
    3201880
  • Title

    MODD for CF: a representation for fast evaluation of multiple-output functions

  • Author

    Rajaprabhu, T.L. ; Singh, Ashutosh K. ; Jabir, Abusabh M. ; Pradhan, D.K.

  • Author_Institution
    Bristol Univ., UK
  • fYear
    2004
  • fDate
    10-12 Nov. 2004
  • Firstpage
    61
  • Lastpage
    66
  • Abstract
    Recently a mathematical framework was presented that bridges the gap between bit level BDD representation and word level representations such as BMD and TED. Here we present an approach that demonstrates that these diagrams admit fast evaluation of circuits for multiple outputs. The representation is based on characteristic function which provides faster evaluation time as well as compact representation. The average path length is used as a metric for evaluation time. The results obtained for benchmark circuits shows lesser number of nodes and faster evaluation time compared to binary representation.
  • Keywords
    Boolean functions; binary decision diagrams; logic circuits; logic simulation; logic testing; CF; MODD; benchmark circuit; binary representation; bit level BDD representation; characteristic function; mathematical framework; multiple-output function; path length; word level representation; Adders; Binary decision diagrams; Boolean functions; Bridge circuits; Circuit simulation; DH-HEMTs; Data structures; Galois fields; Logic testing; Signal synthesis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International
  • ISSN
    1552-6674
  • Print_ISBN
    0-7803-8714-7
  • Type

    conf

  • DOI
    10.1109/HLDVT.2004.1431237
  • Filename
    1431237