国产毛片a精品毛-国产毛片黄片-国产毛片久久国产-国产毛片久久精品-青娱乐极品在线-青娱乐精品

Logic Synthesis and Verification Algorithms

發布時間:2010-7-8 10:36    發布者:techieboy
關鍵詞: 驗證 , 綜合
Logic Synthesis and Verification Algorithms
By Gary D. Hachtel, Fabio Somenzi

Publisher:   Springer
Number Of Pages:   564
Publication Date:   2006-02-10
ISBN-10 / ASIN:   0387310045
ISBN-13 / EAN:   9780387310046
Binding:   Paperback

Book Description:

Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-level and multilevel combinational circuit design, the reader is introduced to basic concepts, such as Boolean algebras, local search, and algebraic factorization.

Similarly, through the study of optimal sequential circuit design, the reader is introduced to graph algorithms, finite state systems, and language theory. Throughout the book, recurrent themes such as branch and bound, dynamic programming, and symbolic implicit enumeration are used to establish optimal design principles.

Circuit designers and CAD tool developers alike will find Logic Synthesis and Verification Algorithms useful as an introductory and reference text. The rich collection of examples and solved problems make this book ideal for self study.
Because of its careful balance of theory and application, Logic Synthesis and Verification Algorithms will serve well as a textbook for upper division and first year graduate students in electrical and computer engineering.

Logic Synthesis and Verification Algorithms.part01.rar (4.86 MB)
Logic Synthesis and Verification Algorithms.part02.rar (4.86 MB)
Logic Synthesis and Verification Algorithms.part03.rar (4.86 MB)
Logic Synthesis and Verification Algorithms.part04.rar (4.86 MB)
Logic Synthesis and Verification Algorithms.part05.rar (4.86 MB)
Logic Synthesis and Verification Algorithms.part06.rar (4.86 MB)
Logic Synthesis and Verification Algorithms.part07.rar (788.84 KB)
本文地址:http://www.qingdxww.cn/thread-14754-1-1.html     【打印本頁】

本站部分文章為轉載或網友發布,目的在于傳遞和分享信息,并不代表本網贊同其觀點和對其真實性負責;文章版權歸原作者及原出處所有,如涉及作品內容、版權和其它問題,我們將根據著作權人的要求,第一時間更正或刪除。
rp006 發表于 2011-2-20 11:10:48
thanks for sharing!
rp006 發表于 2011-2-20 11:12:29
i found parts of the compressed book were downloaded different times, which is really funny.
rp006 發表于 2011-2-20 11:13:18
without downloading all the parts, the book would not be extracted.
jimcmwang 發表于 2019-6-3 08:56:38
Logic Synthesis and Verification Algorithms.part01.rar (4.86 MB, 下載次數: 35)
  Logic Synthesis and Verification Algorithms.part02.rar (4.86 MB, 下載次數: 36)
  Logic Synthesis and Verification Algorithms.part03.rar (4.86 MB, 下載次數: 35)
  Logic Synthesis and Verification Algorithms.part04.rar (4.86 MB, 下載次數: 25)
  Logic Synthesis and Verification Algorithms.part05.rar (4.86 MB, 下載次數: 40)
  Logic Synthesis and Verification Algorithms.part06.rar (4.86 MB, 下載次數: 38)
  Logic Synthesis and Verification Algorithms.part07.rar (788.84 KB, 下載次數: 32)
您需要登錄后才可以發表評論 登錄 | 立即注冊

廠商推薦

  • Microchip視頻專區
  • Dev Tool Bits——使用MPLAB® Discover瀏覽資源
  • Dev Tool Bits——使用條件軟件斷點宏來節省時間和空間
  • Dev Tool Bits——使用DVRT協議查看項目中的數據
  • Dev Tool Bits——使用MPLAB® Data Visualizer進行功率監視
  • 貿澤電子(Mouser)專區

相關視頻

關于我們  -  服務條款  -  使用指南  -  站點地圖  -  友情鏈接  -  聯系我們
電子工程網 © 版權所有   京ICP備16069177號 | 京公網安備11010502021702
快速回復 返回頂部 返回列表
主站蜘蛛池模板: 成人久久免费视频 | 国产一区二区三区高清 | 国产精品高清一区二区三区 | 日产精品1卡二卡三卡乱码在线 | 亚洲人成综合网站在线 | 日韩中文字幕视频 | 青青在线精品2022国产 | 欧美黄色片免费观看 | 快色在线观看免费播放高清 | 日韩在线一区二区三区视频 | 久久精品亚洲一级毛片 | 亚洲黄色网站视频 | 视频在线18羞羞 | 日韩网新片免费 | 四虎影片国产精品8848 | 久久国产精品免费一区二区三区 | 国产精品线在线精品国语 | 中文字幕日本一本二本三区 | 91视频第一页 | 青青青国产成人久久111网站 | 日韩二区| 久久777国产线看观看精品卜 | 一级特级女人18毛片免费视频 | 中文字幕在线观看亚洲日韩 | 成年女美黄网站大全免费播放 | 欧美一区亚洲二区 | 自拍偷拍欧美视频 | 欧美性色xo影院永久禁欲 | 日韩在线看片中文字幕不卡 | 国产黄毛片 | 一区二区高清在线 | 日本成人一区二区 | 机机对机机在线观看 | 国产精成人品 | 在线播放国产精品 | 日本在线看片网站 | 欧美视频 亚洲视频 | 免费特黄一区二区三区视频一 | 99热在线观看精品 | 国产精品精品视频 | 欧美日韩免费一区二区在线观看 |