Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems

著者名：Drechsler, Rolf (EDT)/Große, Daniel (EDT)

Springer（2021/04/29発売）

• 言語：ENG
• ISBN：9783030680701
• eISBN：9783030680718

Description

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 14^th annual International Workshop on Boolean Problems.

Table of Contents

Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning - A Survey.-The Vital Role of Machine Learning in Developing Emerging Technologies.-Fast Optimal Synthesis of Symmetric Index Generation Functions.-Axiomatizing Boolean Differentiation.-Construction of Binary Bent Functions by FFT-like Permutation Algorithms.-Nonlinear codes for test patterns compression: the old school way.-Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls.-Hybrid Control of Toffoli and Peres Gates.-GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools.