購物比價找書網找車網
FindBook
排序:
 
 有 1 項符合

tom schubert

的圖書
Formal Verification
$ 2160
    電子書
Formal Verification
作者:Erik Seligman,Tom Schubert,M. V. Achutha Kiran Kumar 
出版社:Elsevier Science
出版日期:2015-07-24
語言:英文   
樂天KOBO 樂天KOBO - 電腦  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:樂天KOBO   評分:
圖書名稱:Formal Verification

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.

  • Learn formal verification algorithms to gain full coverage without exhaustive simulation
  • Understand formal verification tools and how they differ from simulation tools
  • Create instant test benches to gain insight into how models work and find initial bugs
  • Learn from Intel insiders sharing their hard-won knowledge and solutions to complex design problems
贊助商廣告
 
金石堂 - 今日66折
盆栽急診室:葉子變黃、掉葉、病蟲害、換盆、修剪分枝,百年園藝老店繼承人的綠手指養護祕笈。
作者:川原伸晃
出版社:大是文化有限公司
出版日期:2024-05-28
66折: $ 304 
金石堂 - 今日66折
朝鮮一姊金與正:北韓領導人金正恩妹妹,史上首握核彈按鈕女子的掌權之路,王朝如何「培養」接班人。
作者:李晟允
出版社:大是文化有限公司
出版日期:2024-04-29
66折: $ 329 
金石堂 - 今日66折
一筆一劃,減壓正念筆記:每天5分鐘,消除煩躁、走出迷惘、重獲自信,找回真實自我的書寫魔法
作者:木蔵Shafe君子、荻野淳也、正念領導力機構
出版社:木馬文化事業有限公司
出版日期:2023-02-01
66折: $ 238 
金石堂 - 今日66折
向文字深邃處摘星:華語文學評論集
66折: $ 198 
 
Taaze 讀冊生活 - 暢銷排行榜
獲利軌道:只要沿著規畫的軌道前進,期權翻倍獲利易如反掌
作者:軌道鞅
出版社:玩股網有限公司
出版日期:2024-11-01
$ 316 
博客來 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠
出版日期:2024-09-30
$ 284 
金石堂 - 暢銷排行榜
調教叛逆/王者-全
作者:キタハラリイ
出版社:長鴻出版社股份有限公司
出版日期:2024-11-15
$ 119 
 
博客來 - 新書排行榜
城與不確定的牆(平裝)
出版日期:2024-11-26
$ 537 
Taaze 讀冊生活 - 新書排行榜
地下室錄音
作者:陳柏煜
出版社:時報文化出版企業股份有限公司
出版日期:2024-11-12
$ 840 
金石堂 - 新書排行榜
叛逆玩家 01 鏡中私語特別畫卡版
作者:花於景
出版社:魔豆文化有限公司
出版日期:2024-11-20
$ 253 
Taaze 讀冊生活 - 新書排行榜
2025【拆解英文的最佳利器】英文〔十九版〕(國民營事業/經濟部/台電/台糖/台酒/中油/中鋼/捷運)
作者:劉似蓉
出版社:千華數位文化股份有限公司
出版日期:2024-11-20
$ 567 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策