Author:
Froehlich Saman,Große Daniel,Drechsler Rolf
Publisher
Springer International Publishing
Reference43 articles.
1. Ahmed AS, Große D, Kühne U, Soeken M, Drechsler R (2016) Formal verification of integer multipliers by combining Gröbner basis with logic reduction. In: Design, automation and test in Europe, pp 1048–1053
2. Akers SB (1978) Binary decision diagrams. IEEE Trans Comput 27(6):509–516
3. Berthold T, Heinz S, Pfetsch ME (2009) Nonlinear pseudo-boolean optimization: Relaxation or propagation? In: Theory and applications of satisfiability testing, pp 441–446
4. Brayton RK, Sangiovanni-Vincentelli AL, McMullen CT, Hachtel GD (1984) Logic minimization algorithms for VLSI synthesis. Kluwer Academic Publishers, Norwell
5. Bryant RE (1986) Graph-based algorithms for boolean function manipulation. IEEE Trans Comput C-35(8):677–691