New Data Structures and Algorithms for Logic Synthesis and Verification
-15%
portes grátis
New Data Structures and Algorithms for Logic Synthesis and Verification
Amaru, Luca Gaetano
Springer International Publishing AG
08/2016
156
Dura
Inglês
9783319431734
15 a 20 dias
3849
Descrição não disponível.
Introduction.- Part 1. Logic Representation, Manipulation and Optimization.- Biconditional Logic.- Majority Logic.- Part 2. Logic Satisfiability and Equivalence Checking.- Exploiting Logic Properties to Speedup SAT.- Majority Normal Form Representation and Satisfiability.- Improvements to the Equivalence Checking of Reversible Circuits.- Conclusions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Logic Verification;Logic Optimization;Formal methods;VLSI logic synthesis;Digital logic synthesis;Logic circuit synthesis
Introduction.- Part 1. Logic Representation, Manipulation and Optimization.- Biconditional Logic.- Majority Logic.- Part 2. Logic Satisfiability and Equivalence Checking.- Exploiting Logic Properties to Speedup SAT.- Majority Normal Form Representation and Satisfiability.- Improvements to the Equivalence Checking of Reversible Circuits.- Conclusions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
