Author of the publication

Optimum loading dispersion for high-speed tree-type decision circuitry.

, and . ICCAD, page 520-525. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bi-decomposing large Boolean functions via interpolation and satisfiability solving., , and . DAC, page 636-641. ACM, (2008)Functional Dependency for Verification Reduction., and . CAV, volume 3114 of Lecture Notes in Computer Science, page 268-280. Springer, (2004)Asynchronous QDI Circuit Synthesis from Signal Transition Protocols., , and . ICCAD, page 434-441. IEEE, (2015)Reducing Multi-Valued Algebraic Operations to Binary., , and . DATE, page 10752-10757. IEEE Computer Society, (2003)2QBF: Challenges and Solutions., , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 453-469. Springer, (2016)Interpolating functions from large Boolean relations., , and . ICCAD, page 779-784. ACM, (2009)Inductive equivalence checking under retiming and resynthesis., and . ICCAD, page 326-333. IEEE Computer Society, (2007)On breakable cyclic definitions., , and . ICCAD, page 411-418. IEEE Computer Society / ACM, (2004)Optimization of Multi-Valued Multi-Level Networks., , , , , , , and . ISMVL, page 168-179. IEEE Computer Society, (2002)Reducing Multi-Valued Algebraic Operations to Binary., , and . IWLS, page 339-344. (2002)