Recent Findings in Boolean Techniques
portes grátis
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
Drechsler, Rolf; Grosse, Daniel
Springer Nature Switzerland AG
04/2022
197
Mole
Inglês
9783030680732
15 a 20 dias
326
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Logic synthesis;Boolean logic;Boolean algebra;Boolean modeling;Combinatorial search
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
