Logic Synthesis and Verification Algorithms
暫譯: 邏輯合成與驗證演算法
Gary D. Hachtel, Fabio Somenzi
- 出版商: Springer
- 出版日期: 2006-02-10
- 售價: $3,500
- 貴賓價: 9.5 折 $3,325
- 語言: 英文
- 頁數: 564
- 裝訂: Paperback
- ISBN: 0387310045
- ISBN-13: 9780387310046
-
相關分類:
Algorithms-data-structures
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$1,225The Unified Software Development Process (Hardcover) -
Digital Image Processing, 2/e(IE)(美國版ISBN:0201180758)$1,150$1,127 -
$1,470Machine Vision: Theory, Algorithms, Practicalities, 3/e (Hardcover) -
Computer Imaging: Digital Image Analysis and Processing$1,750$1,715 -
$1,710Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems (Hardcover) -
$4,275Handbook of Machine Vision -
Java 技術手冊 第五版 + JAVA 精典範例，第二版 (A176+A104)$1,360$1,074 -
Introduction to Automata Theory, Languages, and Computation, 3/e (IE-Paperback)$1,100$1,078 -
ESL Design and Verification: A Prescription for Electronic System Level Methodology (Hardcover)$1,200$1,176 -
UNIX 與 Internet安全防護－網路篇 + UNIX 與 Internet安全防護－系統篇 (A051+A055)$1,240$980 -
Java Swing 基礎篇 + JAVA Swing 第二版-進階篇 (A099+A119)$1,460$1,153 -
Enterprise JavaBeans 技術，第三版 + JAVA訊息服務 (A106+A075)$1,540$1,217 -
XML學習手冊 + XML精要總覽 (A080+A090)$1,300$1,027 -
Java Servlet 設計，第二版 + Java 網路程式設計 第三版 (A098+A177)$1,780$1,406 -
隨意搜尋 + 聚沙成塔～建置逐層擴充的 Web2.0 服務 (A208+A219)$1,330$1,051 -
$1,558Introduction to Algorithms, 3/e (IE-Paperback) -
$1,372Advanced Digital Design with the Verilog HDL, 2/e (IE-Paperback) -
$301企業大數據處理:Spark、Druid、Flume與Kafka應用實踐(BigData Processing with Spark,Druid,Flume and Kafka) -
$250PySpark 實戰指南 : 利用 Python 和 Spark 構建數據密集型應用並規模化部署 (Learning PySpark) -
$1,710Foundations for Architecting Data Solutions: Managing Successful Data Projects
相關主題
商品描述
Description
This book 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.
Table of Contents
I: Introduction.1. Introduction.2. A Quick Tour of Logic Synthesis with the Help of a Simple Example.- II: Two Level Logic Synthesis. 3. Boolean Algebras. 4. Synthesis of Two-Level Circuits. 5. Heuristic Minimization of Two-Level Circuits. 6. Binary Decision Diagrams (BDDs).- III: Models of Sequential Systems. 7. Models of Sequential Systems. 8. Synthesis and Verification of Finite State Machines. 9. Finite Automata. IV: Multilevel Logic Synthesis. 10. Multi-Level Logic Synthesis. 11. Multi-Level Minimization. 12. Automatic Test Generation for Combinational Circuits. 13. Technology Mapping. A. ASCII Codes. B. Supplementary Problems.- Bibliography.- Index.
商品描述(中文翻譯)
描述
本書將數學基礎和演算法發展與電路設計問題相結合。每一種新技術都在其應用於設計的背景下進行介紹。通過對最佳二層和多層組合電路設計的研究，讀者將接觸到基本概念，如布林代數（Boolean algebras）、局部搜尋（local search）和代數因式分解（algebraic factorization）。同樣，通過對最佳序列電路設計的研究，讀者將接觸到圖演算法（graph algorithms）、有限狀態系統（finite state systems）和語言理論（language theory）。在整本書中，重複出現的主題如分支界限（branch and bound）、動態規劃（dynamic programming）和符號隱式枚舉（symbolic implicit enumeration）被用來建立最佳設計原則。
目錄
I: 介紹。1. 介紹。2. 透過簡單範例快速了解邏輯合成。- II: 二層邏輯合成。3. 布林代數。4. 二層電路的合成。5. 二層電路的啟發式最小化。6. 二進位決策圖（BDDs）。- III: 序列系統模型。7. 序列系統模型。8. 有限狀態機的合成與驗證。9. 有限自動機。IV: 多層邏輯合成。10. 多層邏輯合成。11. 多層最小化。12. 組合電路的自動測試生成。13. 技術映射。A. ASCII碼。B. 補充問題。- 參考文獻。- 索引。
