• RecordNumber
    58902
  • Author

    Boulé, Marc

  • Title

    Generating hardware assertion checkers

  • SubTitle
    for hardware verification, emulation, post-fabrication debugging and on-line monitoring
  • Author Statement
    Marc Boulé, Zeljko Zilic
  • Publication
    Springer Dordrecht
  • Publication Year
    2008
  • Collation
    xx, 279 p.: ill
  • Notes
    Includes bibliographical references (p. 265-273) and index , 9781402085857
  • Subject

    Integrated circuits Very large scale integration Computer-aided design , Integrated circuits Verification , Error analysis (Mathematics)

  • ADDED ENTRIES
    AU Zilic, Zeljko , TI
  • LC Class
    TK
  • LC Number
    7874.58
  • LC CutterNumber
    .B68
  • LC Date
    2008
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=58902&Field=0&DTC=2