切換：
- 簡略
- 詳細(MARC)
- ISBD
-
數字集成電路設計驗證:量化評估、激勵生成、形式化驗證
紀錄類型 ： 書目-語言資料,印刷品: 單行本
副題名 ： 量化評估、激勵生成、形式化驗證
作者 ： 李曉維,
出版地 ： 北京市
出版者 ： 科學出版社;
出版年 ： 2010[民99]
版本 ： 第一版
面頁冊數 ： 12,411面圖 : 24公分;
標題 ： 電路 -
摘要註 ： 本書重點介紹過去五年內取得的相關研究成果,兼顧對國內外近期相關工作的扼要介紹。本書涉及數字集成電路模擬驗證的覆蓋量化評估和測試激勵生成、形式化方法。主體內容包括量化評估、測試激勵生成、形式驗證三大部分。
ISBN ： 9787030276094
LEADER 00976nam0 2200229 450
001 84355
005 20110310053345.0
009 1496152
009 85540
010 0 $a9787030276094$b平裝$d人民幣58元
100 $a20110307d2010 k y0chiy09 e
101 0 $achi
102 $acn
105 $aa z 001yy
200 1 $a數字集成電路設計驗證$e量化評估、激勵生成、形式化驗證$f李曉維等著
205 $a第一版
210 $a北京市$d2010[民99]$c科學出版社
215 0 $a12,411面$c圖$d24公分
302 $a內容為簡體字
320 $a含參考書目及索引
330 $a本書重點介紹過去五年內取得的相關研究成果,兼顧對國內外近期相關工作的扼要介紹。本書涉及數字集成電路模擬驗證的覆蓋量化評估和測試激勵生成、形式化方法。主體內容包括量化評估、測試激勵生成、形式驗證三大部分。
606 $a電路$2csh$36063
681 $a448.873$b4062
700 1$a李$b曉維$4著$3111496
801 0$atw$b聖約翰科技大學圖書館$c20100927$gCCR
李, 曉維
數字集成電路設計驗證 : 量化評估、激勵生成、形式化驗證 / 李曉維等著 - 第一版. - 北京市 : 科學出版社, 2010[民99]. - 12,411面 ; 圖 ; 24公分.
含參考書目及索引.
ISBN 9787030276094
電路
數字集成電路設計驗證 : 量化評估、激勵生成、形式化驗證 / 李曉維等著 - 第一版. - 北京市 : 科學出版社, 2010[民99]. - 12,411面 ; 圖 ; 24公分.
含參考書目及索引.
ISBN 9787030276094
電路
- 館藏(1)
- 心得(0)
- 標籤
發表心得
借過這本書的人還借了哪些館藏
實用模擬電路設計
張樂鋒
實用遙控控制線路...
周興華
數位訊號處理
余兆棠
數字集成電路設計...
李曉維
精密儀器的小樣本...
王中宇
電子學
徐慶堂
電子學實驗
陳瓊興
電子學頂極複習攻...
陳啟鐘
電工機械:搶分秘...
郭塗註
電工電子技術
田玉