検索結果 11 - 15 結果 / 15 検索語 '"Integrated circuits Verification"', 処理時間: 0.02秒 結果の絞り込み
  1. 11

    Practical design verification

    出版事項 2009
    図書

    Practical design verification
  2. 12

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS 著者: Yoeli, Michael 1917-

    出版事項 2008
    図書

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS
  3. 13

    Electronic design automation for integrated circuits handbook

    出版事項 2006
    図書

    Electronic design automation for integrated circuits handbook
  4. 14

    Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

    出版事項 1995
    図書

    Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
  5. 15

    Digital timing macromodeling for VLSI design verification 著者: Kong, Jeong-Taek 1959-

    出版事項 1995
    図書

    Digital timing macromodeling for VLSI design verification

検索ツール: