( en | de | ru )

 

Disambiguation of "Yu, Cunxi"

Author of the publication

copydeleteadd this publication to your clipboard
Rewriting Environment for Arithmetic Circuit Verification.

, , , , and . LPAR, volume 57 of EPiC Series in Computing, page 656-666. EasyChair, (2018)

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.

Yu-Ting Yu

Yu-Yu Su

Sze-Man Yu

Metal complexes with enolatoimine ligands for controlled olefin polymerizations. Uni Konstanz, (2009)

Maozheng Yu

Yu Chen

 

Other publications of authors with the same name

Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning., and . CoRR, (2018)Fast Algebraic Rewriting Based on And-Inverter Graphs., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (9): 1907-1911 (2018)Algorithmic Obfuscation over GF(2m)., and . CoRR, (2018)Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling., and . ICCAD, page 1-9. IEEE, (2023)Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs., , , and . ICCAD, page 1-4. IEEE, (2023)LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks., , , , , and . ASPLOS (4), page 202-218. ACM, (2023)Reverse engineering of irreducible polynomials in GF(2m) arithmetic., , and . DATE, page 1558-1563. IEEE, (2017)Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis., , , and . ISVLSI, page 415-420. IEEE Computer Society, (2017)End-to-End Industrial Study of Retiming., , , , , , , and . ISVLSI, page 203-208. IEEE Computer Society, (2018)Analyzing Imprecise Adders Using BDDs - A Case Study., and . ISVLSI, page 152-157. IEEE Computer Society, (2016)