책 이미지
eBook 미리보기
책 정보
· 제목 : Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems (Hardcover, 2021)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9783030680701
· 쪽수 : 197쪽
· 출판일 : 2021-04-30
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9783030680701
· 쪽수 : 197쪽
· 출판일 : 2021-04-30
목차
?1) Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning - A Survey
2) The Vital Role of Machine Learning in Developing Emerging Technologies
3) Fast Optimal Synthesis of Symmetric Index Generation Functions
4) Axiomatizing Boolean Differentiation
5) Construction of Binary Bent Functions by FFT-like Permutation Algorithms
6) Nonlinear codes for test patterns compression: the old school way
7) Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls
8) Hybrid Control of Toffoli and Peres Gates
9) GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools
