Rolf Drechsler,
Daniel Große
Springer International Publishing
e druk, 2022
9783030680732
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2022
ISBN13: 9783030680732
Rubricering
Levertijd ongeveer 8 werkdagen
Samenvatting
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 14th annual International Workshop on Boolean Problems.
Specificaties
ISBN13:9783030680732
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
<p>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.</p>