Author of the publication

Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits.

, , and . DAC, page 192:1-192:6. ACM, (2014)

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

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification., , and . IJCAI, page 688-694. ijcai.org, (2017)QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving., , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 343-359. Springer, (2015)An approximation algorithm to the optimal switch control of reconfigurable battery packs., , , , and . ASP-DAC, page 577-584. ACM, (2019)Scalable sequence-constrained retention register minimization in power gating design., , , and . DAC, page 130:1-130:6. ACM, (2015)Synthesis of feedback decoders for initialized encoders., and . DAC, page 49:1-49:6. ACM, (2013)Design partitioning for large-scale equivalence checking and functional correction., , and . DAC, page 23:1-23:6. ACM, (2016)Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits., , and . DAC, page 73:1-73:6. ACM, (2017)Towards Formal Evaluation and Verification of Probabilistic Design., and . IEEE Trans. Computers, 67 (8): 1202-1216 (2018)Scalable don't-care-based logic optimization and resynthesis., , , and . ACM Trans. Reconfigurable Technol. Syst., 4 (4): 34:1-34:23 (2011)A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (8): 1251-1264 (2017)