Concepedia

Cunxi Yu

CY

Statistics

Publications

38

Citations

1.1K

H-Index

20

Active since

2011

Affiliations

University of Massachusetts Amherst(Current)

University of Utah

University of Maryland, College Park

Cornell University

École Polytechnique Fédérale de Lausanne

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

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureFormal MethodsFormal VerificationAutomated ReasoningHardware SecuritySystems EngineeringProgram Analysis

Publications per year

2011–2024

38

Publications

38

Painting on Placement

Cunxi Yu, Zhiru Zhang · 2019 · 82 citations

Engineering, Advanced Computing, Network Planning +21

Fast Algebraic Rewriting Based on And-Inverter Graphs

Cunxi Yu, Maciej Ciesielski, Alan Mishchenko · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017 · 64 citations

Mathematical Programming, Circuit Complexity, Engineering +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 · 61 citations

Hardware Trojan, Engineering, Hardware Verification Language +21

Verification of gate-level arithmetic circuits by function extraction

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

Circuit Complexity, Engineering, Verification +16

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 · 57 citations

Circuit Complexity, Engineering, Hardware Verification Language +16

1–5 of 38