Full Description
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.
Contents
EDA3.0: Implications to Logic Synthesis.- Can parallel programming revolutionize EDA tools?.- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.- Physical Awareness starting at Technology-Independent Logic Synthesis.- Identifying Transparent Logic in Gate-Level Circuits.- Automated Pipeline Transformations with Fluid Pipelines.- Analysis of Incomplete Circuits using Dependency Quantied Boolean Formulas.- Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.- A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.- Decomposition of Index Generation Functions Using a Monte Carlo Method.
-
- 電子書籍
- 財閥復讐~兄嫁になった元嫁へ~【タテヨ…
-
- 電子書籍
- 離婚した元夫が私にゾッコンのようです【…
-
- 電子書籍
- Berry's Fantasy ループ…
-
- 電子書籍
- ゾンビのあふれた世界で俺だけが襲われな…
-
- 電子書籍
- 椎名教授の異常な愛情【分冊版】3 光文…



