• RecordNumber
    16885
  • Author

    ,

  • Title

    VLSI design methods

  • Author Statement
    Proceed. of the IFIP WG 10.2/ WG 10.5 Inter. Workshop...
  • Publication
    North-Holland , North-Holland
  • Publication Year
    1990
  • Collation
    2V., illus., tables
  • Notes
    Includes bibliographical references , 044488372X
  • Contents
    V.1. Formal VLSI specification and synthesis.- V.2. Formal VLSI correctness verification
  • Subject

    Integrated circuits- Very large scale integration , Computer-aided design , Integrated circuits-Very Large scale integration

  • ADDED ENTRIES
    Claesen, Luc J. M , , ,
  • LC Class
    TK
  • LC Number
    7874
  • LC CutterNumber
    .I3283
  • LC Date
    1989
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=16885&Field=0&DTC=2