老司机午夜精品_国产精品高清免费在线_99热点高清无码中文字幕_在线观看国产成人AV天堂_中文字幕国产91

切換到寬版
  • 廣告投放
  • 稿件投遞
  • 繁體中文
    • 4008閱讀
    • 8回復

    （中科院)集成電路設計驗證 [復制鏈接]

    		 上一主題 下一主題
    離線ghost08
     
    發(fā)帖
    30
    光幣
    48
    光券
    0
    只看樓主 倒序閱讀 樓主  發(fā)表于: 2010-07-09
    關鍵詞： 電路資料
    （中科院)集成電路設計驗證，這個資料還不錯哦��！ \a "Ct'  
    (%ew604X  
    摘要：設計驗證（Design Verification）是集成電路設計中不可或缺的重要組成部分。功能驗證是設計驗證最基本的內容，用于判別設計規(guī)范（Specification）和實現(xiàn)（Implementation）之間是否一致。本文介紹模擬驗證、形式驗證中的等價性檢驗（Equivalence Checking）和模型檢驗（Model Checking），介紹設計驗證的基本原理以及我們在設計驗證方面的基礎研究成果和工程應用經(jīng)驗。
    附件: (中科院)集成電路設計驗證.rar (260 K) 下載次數(shù):20 ，售價:2光幣[記錄]
    共1條評分
    cyqdesign 光幣 +5 - 2010-07-09
     
    分享到
    離線faithfulfans
    發(fā)帖
    377
    光幣
    107
    光券
    0
    只看該作者 1樓 發(fā)表于: 2011-08-20
    I like it! Thanks! x!S;SU  
    離線ivanhoe
    發(fā)帖
    114
    光幣
    0
    光券
    0
    只看該作者 2樓 發(fā)表于: 2011-09-14
    不錯的資料
    離線gulangsxl
    發(fā)帖
    17
    光幣
    7
    光券
    0
    只看該作者 3樓 發(fā)表于: 2013-05-25
    路過，看看！�。�！
    離線xiaoweizhao
    發(fā)帖
    288
    光幣
    13
    光券
    0
    只看該作者 4樓 發(fā)表于: 2013-08-14
    看看啊啊
    離線saa0125
    發(fā)帖
    55
    光幣
    27
    光券
    0
    只看該作者 5樓 發(fā)表于: 2013-10-24
    不錯的資料
    離線axsbear
    發(fā)帖
    4
    光幣
    0
    光券
    0
    只看該作者 6樓 發(fā)表于: 2013-11-09
    不錯不錯~
    離線zhangws
    發(fā)帖
    6
    光幣
    0
    光券
    0
    只看該作者 7樓 發(fā)表于: 2022-04-16
    學習學習
    離線zhangws
    發(fā)帖
    6
    光幣
    0
    光券
    0
    只看該作者 8樓 發(fā)表于: 2022-04-16
    不錯，繼續(xù)加油