1 “...This book provides a single-source reference to the state-of-the-art in logic synthesis.  Readers...”

2 Table of Contents: “...Preliminaries -- Synthesis of Reversible Logic -- Exact Synthesis of Reversible Logic -- Embedding...”

3 Subjects: “...Logic design...”

4 Table of Contents: “...: A Multi-Criteria Approach -- Chapter 4: Synthesis for Logic-in-Memory Computing using RRAM...”

5 Table of Contents: “... Multi-Criteria Approach -- Kapitel 4: Synthese für Logic-in-Memory Computing mit RRAM -- Kapitel 5...”

6 Table of Contents: “... Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3...”

7 Table of Contents: “... Logic -- Improved Circuit-to-CNF Conversion -- Branching Strategies -- Integration into Industrial Flow...”

8 Table of Contents: “... -- 2.3 Output Probability -- 2.4 Summary -- 3 The Spectral Domain -- 3.1 Spectra of Logic Functions...”

9 “...This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering...”

10 “...The design process of digital circuits is often carried out in individual steps, like logic...”

11 “... exact and scalable placement & routing, one-pass logic synthesis, novel clocking mechanisms for data...”

12 “...) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation...”

13 “... different areas of circuit design, like logic synthesis, mapping and testing, are described in detail...”