Concepedia

Cunxi Yu

CY

Statistics

Publications

33

Citations

989

H-Index

19

Active since

2011

Affiliations

University of Utah(Current)

University of Massachusetts Amherst

Cornell University

University of Maryland, College Park

École Polytechnique Fédérale de Lausanne

Cunxi Yu is an author at University of Utah specializing in computer science, computer engineering, and engineering.

Publications per year

2011–2024

33

Publications

33

Painting on Placement

Cunxi Yu, Zhiru Zhang · 2019 · 86 citations

Engineering, Digital Design, Design Optimization +16

Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits

Cunxi Yu, Xiangyu Zhang, Duo Liu et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017 · 63 citations

Computing, Computer Engineering, Computer Science +15

Verification of gate-level arithmetic circuits by function extraction

Maciej Ciesielski, Cunxi Yu, W. Brown et al. · 2015 · 62 citations

Engineering, Computer Engineering, Computer Science +17

Formal Verification of Arithmetic Circuits by Function Extraction

Cunxi Yu, W. Brown, Duo Liu et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2016 · 61 citations

Computing, Computer Engineering, Computer Science +17

Developing synthesis flows without human knowledge

Cunxi Yu, Houping Xiao, Giovanni De Micheli · 2018 · 54 citations · Full text

Engineering, Computer Engineering, Design +14

1–5 of 33