[ 收藏 ] [ 简体中文 ]  
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款,4-7個工作日送達,999元臺幣免運費   在線留言 商品價格為新臺幣 
首頁 電影 連續劇 音樂 圖書 女裝 男裝 童裝 內衣 百貨家居 包包 女鞋 男鞋 童鞋 計算機周邊

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

     一般管理学
     市场/营销
     会计
     金融/投资
     经管音像
     电子商务
     创业企业与企业家
     生产与运作管理
     商务沟通
     战略管理
     商业史传
     MBA
     管理信息系统
     工具书
     外文原版/影印版
     管理类职称考试
     WTO
     英文原版书-管理
  •  投资理财

     证券/股票
     投资指南
     理财技巧
     女性理财
     期货
     基金
     黄金投资
     外汇
     彩票
     保险
     购房置业
     纳税
     英文原版书-投资理财
  •  经济

     经济学理论
     经济通俗读物
     中国经济
     国际经济
     各部门经济
     经济史
     财政税收
     区域经济
     统计 审计
     贸易政策
     保险
     经济数学
     各流派经济学说
     经济法
     工具书
     通货膨胀
     财税外贸保险类考试
     英文原版书-经济
  •  社会科学

     语言文字
     社会学
     文化人类学/人口学
     新闻传播出版
     社会科学总论
     图书馆学/档案学
     经典名家作品集
     教育
     英文原版书-社会科学
  •  哲学

     哲学知识读物
     中国古代哲学
     世界哲学
     哲学与人生
     周易
     哲学理论
     伦理学
     哲学史
     美学
     中国近现代哲学
     逻辑学
     儒家
     道家
     思维科学
     马克思主义哲学
     经典作品及研究
     科学哲学
     教育哲学
     语言哲学
     比较哲学
  •  宗教

  •  心理学

  •  古籍

  •  文化

  •  历史

     历史普及读物
     中国史
     世界史
     文物考古
     史家名著
     历史地理
     史料典籍
     历史随笔
     逸闻野史
     地方史志
     史学理论
     民族史
     专业史
     英文原版书-历史
     口述史
  •  传记

  •  文学

  •  艺术

     摄影
     绘画
     小人书/连环画
     书法/篆刻
     艺术设计
     影视/媒体艺术
     音乐
     艺术理论
     收藏/鉴赏
     建筑艺术
     工艺美术
     世界各国艺术概况
     民间艺术
     雕塑
     戏剧艺术/舞台艺术
     艺术舞蹈
     艺术类考试
     人体艺术
     英文原版书-艺术
  •  青春文学

  •  文学

     中国现当代随笔
     文集
     中国古诗词
     外国随笔
     文学理论
     纪实文学
     文学评论与鉴赏
     中国现当代诗歌
     外国诗歌
     名家作品
     民间文学
     戏剧
     中国古代随笔
     文学类考试
     英文原版书-文学
  •  法律

     小说
     世界名著
     作品集
     中国古典小说
     四大名著
     中国当代小说
     外国小说
     科幻小说
     侦探/悬疑/推理
     情感
     魔幻小说
     社会
     武侠
     惊悚/恐怖
     历史
     影视小说
     官场小说
     职场小说
     中国近现代小说
     财经
     军事
  •  童书

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

     程序设计
     移动开发
     人工智能
     办公软件
     数据库
     操作系统/系统开发
     网络与数据通信
     CAD CAM CAE
     计算机理论
     行业软件及应用
     项目管理 IT人文
     计算机考试认证
     图形处理 图形图像多媒体
     信息安全
     硬件
     项目管理IT人文
     网络与数据通信
     软件工程
     家庭与办公室用书
  •  建筑

  •  医学

     中医
     内科学
     其他临床医学
     外科学
     药学
     医技学
     妇产科学
     临床医学理论
     护理学
     基础医学
     预防医学/卫生学
     儿科学
     医学/药学考试
     医院管理
     其他医学读物
     医学工具书
  •  自然科学

     数学
     生物科学
     物理学
     天文学
     地球科学
     力学
     科技史
     化学
     总论
     自然科学类考试
     英文原版书-自然科学
  •  工业技术

     环境科学
     电子通信
     机械/仪表工业
     汽车与交通运输
     电工技术
     轻工业/手工业
     化学工业
     能源与动力工程
     航空/航天
     水利工程
     金属学与金属工艺
     一般工业技术
     原子能技术
     安全科学
     冶金工业
     矿业工程
     工具书/标准
     石油/天然气工业
     原版书
     武器工业
     英文原版书-工业技
  •  农业/林业

  •  外语

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

     保健/养生
     体育/运动
     手工/DIY
     休闲/爱好
     英文原版书
     港台图书
     研究生
     工学
     公共课
     经济管理
     理学
     农学
     文法类
     医学
  • 數字集成電路設計驗證
    該商品所屬分類:研究生 -> 工學
    【市場價】
    640-928
    【優惠價】
    400-580
    【作者】 李曉維 等著 
    【所屬類別】 圖書  教材  研究生/本科/專科教材  工學 
    【出版社】科學出版社 
    【ISBN】9787030276094
    【折扣說明】一次購物滿999元台幣免運費+贈品
    一次購物滿2000元台幣95折+免運費+贈品
    一次購物滿3000元台幣92折+免運費+贈品
    一次購物滿4000元台幣88折+免運費+贈品
    【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
    版本正版全新電子版PDF檔
    您已选择: 正版全新
    溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
    *. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
    *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
    *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
    內容介紹



    開本:16開
    紙張:膠版紙
    包裝:平裝

    是否套裝:否
    國際標準書號ISBN:9787030276094
    作者:李曉維等著

    出版社:科學出版社
    出版時間:2010年05月 

        
        
    "
    編輯推薦
    本書是全面論述數字集成電路設計驗證方法的學術著作,彙集了自2000年以來中國科學院計算研究所(以下簡稱中科院計算所)在數字集成電路設計驗證方法學研究中取得的自主創新的重要研究成果和結論。內容涉及數字集成電路設計驗證的三個重要方面:量化評估、激勵生成和形式化驗證。
    全書共15章,其中技術內容可分為三大部分。**部分(第2~5章)量化評估,從可觀測性信息和發現設計錯誤的能力兩個角度,論述數字集成電路設計驗證的量化評估方法。第二部分(第6~9章)激勵生成,針對寄存器傳輸級的激勵生成問題,從故障模型和覆蓋率導向兩個角度,論述確定性和非確定性的激勵生成方法。第三部分(第10~14章)形式化驗證,從提高處理速度的角度,論述形式化驗證中的等價性檢驗方法和模型檢驗方法。 
    內容簡介
    本書內容涉及數字集成電路設計驗證的三個主要方面:量化評估、激勵生成和形式化驗證。主要包括寄存器傳輸級(RTL)電路建模、基於可觀測性的覆蓋率評估方法、設計錯誤模型;基於故障模型的激勵生成、基於RTL行為模型的激勵生成、覆蓋率驅動的激勵生成;基於可滿足性的等價性檢驗、包含黑盒電路的形式化驗證,以及不可滿足問題。
    全書圖文並茂,闡述了作者及其科研團隊自主創新的研究成果和結論,對致力於數字集成電路設計驗證方法研究的科研人員(尤其是在讀研究生),具有較大的學術參考價值,也可用作集成電路專業的高等院校教師、研究生和高年級本科生的教學參考書。
    目錄
    FOREWORD
    前言
    第1章 緒論
    1.1 設計驗證簡介
    1.2 設計驗證中的關鍵問題
    1.2.1 量化評估
    1.2.2 激勵生成
    1.2.3 形式化驗證
    1.3 章節組織結構
    參考文獻
    第2章 寄存器傳輸級行為描述抽像方法
    2.1 硬件描述語言概述
    2.1.1 硬件描述語言的產生與發展
    2.1.2 硬件描述語言的描述特點FOREWORD
    前言
    第1章 緒論
    1.1 設計驗證簡介
    1.2 設計驗證中的關鍵問題
    1.2.1 量化評估
    1.2.2 激勵生成
    1.2.3 形式化驗證
    1.3 章節組織結構
    參考文獻
    第2章 寄存器傳輸級行為描述抽像方法
    2.1 硬件描述語言概述
    2.1.1 硬件描述語言的產生與發展
    2.1.2 硬件描述語言的描述特點
    2.2 RTL行為描述的進程分析
    2.2.1 語法與語義限制
    2.2.2 組合進程
    2.2.3 時鐘進程
    2.2.4 異步進程
    2.3 寄存器傳輸級行為描述抽像
    2.3.1 行為描述中的進程
    2.3.2 過程性語句
    2.3.3 語句的語義行為
    2.3.4 語句的執行條件
    2.3.5 進程的相互關繫
    2.3.6 電路模型
    2.3.7 行為模擬方式
    2.4 本章總結
    參考文獻
    第3章 基於可觀測性的覆蓋率評估方法
    第4章 缺項-設計錯誤模型
    第5章 基於錯誤傳播概率的量化分析方法
    第6章 模擬驗證的激勵生成概述
    第7章 基於傳輸故障模型的寄存器傳輸級激勵生成
    第8章 基於行為階段聚類的寄存器傳輸級激勵生成
    第9章 覆蓋率驅動的寄存器傳輸級激勵生成
    第10章 布爾函數與基於電路的布爾推理
    第11章 基於可滿足性的增量等價性檢驗方法
    第12章 驗證包含黑盒的電路設計的形式化方法
    第13章 極小布爾不可滿足問題
    第14章 模型檢驗在電路設計驗證中的應用研究
    第15章 總結與展望
    索引


     
    網友評論  我們期待著您對此商品發表評論
     
    相關商品
    在線留言 商品價格為新臺幣
    關於我們 送貨時間 安全付款 會員登入 加入會員 我的帳戶 網站聯盟
    DVD 連續劇 Copyright © 2024, Digital 了得網 Co., Ltd.
    返回頂部