1 option
Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems / edited by Rolf Drechsler, Sebastian Huhn.
- Format:
- Book
- Author/Creator:
- Drechsler, Rolf.
- Series:
- Engineering Series
- Language:
- English
- Subjects (All):
- Electronic circuits.
- Computer science--Mathematics.
- Computer science.
- Embedded computer systems.
- Electronic circuit design.
- Electronic Circuits and Systems.
- Mathematical Applications in Computer Science.
- Embedded Systems.
- Electronics Design and Verification.
- Local Subjects:
- Electronic Circuits and Systems.
- Mathematical Applications in Computer Science.
- Embedded Systems.
- Electronics Design and Verification.
- Physical Description:
- 1 online resource (174 pages)
- Edition:
- 1st ed. 2023.
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2023.
- Summary:
- This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art in logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic and more.
- Contents:
- Chapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems
- Chapter 2. Fast AIG-based Approximate Logic Synthesis
- Chapter 3. External Don’t Cares in Logic Synthesis
- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra
- Chapter 5. Towards System-level Assertions for Heterogeneous Systems
- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms
- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security
- Chapter 8. Two-operands modular multiplication to small bit-ranges
- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs
- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE
- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Other Format:
- Print version: Drechsler, Rolf Advanced Boolean Techniques
- ISBN:
- 3-031-28916-1
- OCLC:
- 1381096106
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.