• RecordNumber
    86253
  • Author

    Hachtel, Gary D

  • Title

    Logic synthesis and verification algorithms

  • Author Statement
    Gary Hachtel, Fabio Somenzi
  • Edition
    1st softcover ed
  • Publication
    Springer
  • Publication Year
    c2006
  • Collation
    xxxii, 564 p. ill. 26 cm
  • Notes
    Includes bibliographical references (p. 537-553) and index.
  • Subject

    Integrated circuits , Logic design , Integrated circuits , Computer-aided design

  • ADDED ENTRIES
    Somenzi, Fabio ,
  • Main Class
    621.
  • Sub Class
    395
  • Cutter no
    H117l
  • Date
    2006
  • واردكننده اطلاعات
    ربابه صمدي علي نيا
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=86253&Field=0&DTC=2