Advanced Logic Synthesis
-15%
portes grátis
Advanced Logic Synthesis
Drechsler, Rolf; Reis, Andre Inacio
Springer International Publishing AG
09/2018
232
Mole
Inglês
9783319884073
15 a 20 dias
454
Descrição não disponível.
EDA3.0: Implications to Logic Synthesis.- Can parallel programming revolutionize EDA tools?.- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.- Physical Awareness starting at Technology-Independent Logic Synthesis.- Identifying Transparent Logic in Gate-Level Circuits.- Automated Pipeline Transformations with Fluid Pipelines.- Analysis of Incomplete Circuits using Dependency Quantied Boolean Formulas.- Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.- A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.- Decomposition of Index Generation Functions Using a Monte Carlo Method.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Logic Synthesis;Big data and logic synthesis;Logic synthesis and arithmetic circuits;Verification in Electronic Systems;Formal Verification
EDA3.0: Implications to Logic Synthesis.- Can parallel programming revolutionize EDA tools?.- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.- Physical Awareness starting at Technology-Independent Logic Synthesis.- Identifying Transparent Logic in Gate-Level Circuits.- Automated Pipeline Transformations with Fluid Pipelines.- Analysis of Incomplete Circuits using Dependency Quantied Boolean Formulas.- Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.- A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.- Decomposition of Index Generation Functions Using a Monte Carlo Method.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
