( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits.

, , и . DAC, стр. 73:1-73:6. ACM, (2017)

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.

Jie Jiang

Jie Jiang

Hong Jiang

Hong Jiang

Hong Jiang

 

Другие публикации лиц с тем же именем

Encoding multi-valued functions for symmetry., , , и . ICCAD, стр. 771-778. IEEE, (2013)Unified QBF certification and its applications., и . Formal Methods Syst. Des., 41 (1): 45-65 (2012)Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (4): 993-1005 (2022)Constraint Solving for Synthesis and Verification of Threshold Logic Circuits., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (5): 904-917 (2021)SAT-Based On-Track Bus Routing., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (4): 735-747 (2021)Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification., , , и . DAC, стр. 54:1-54:6. ACM, (2014)Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle., , и . DATE, стр. 738-743. IEEE, (2020)Software Workarounds for Hardware Errors: Instruction Patch Synthesis., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1992-2003 (2013)QBF Resolution Systems and Their Proof Complexities., , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 154-169. Springer, (2014)Design and Automation for Quantum Computation and Quantum Technologies., , , и . IEEE J. Emerg. Sel. Topics Circuits Syst., 12 (3): 581-583 (2022)