Concepedia

Kuang-Chien Chen

KC

22

Publications

601

Citations

16

H-Index

1990

Active since

Affiliations

University of California, Santa Barbara(Current)

Fujitsu (United States)

University of Illinois Urbana-Champaign

National Tsing Hua University

Texas Instruments (United States)

Kuang-Chien Chen is an author at University of California, Santa Barbara specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureVerificationHardware SecuritySoftware TestingFormal MethodsFormal VerificationProgram Analysis

Publications per year

1990–2005

22

Publications

22

Logic synthesis for engineering change

Chih-Chang Lin, Kuang-Chien Chen, Shih-Chieh Chang et al. · 1995 · 87 citations

AQUILA: an equivalence checking system for large sequential designs

Shi-Yu Huang, Kwang‐Ting Cheng, Kuang-Chien Chen et al. · IEEE Transactions on Computers · 2000 · 47 citations

Engineering, Verification, Computer Architecture +19

ErrorTracer: a fault simulation-based approach to design error diagnosis

Shi‐Yu Huang, Kwang‐Ting Cheng, Kuang-Chien Chen et al. · 2002 · 47 citations

Engineering, Error Control Technique, Verification +20

Logic synthesis for engineering change

Chih-Chang Lin, Kuang-Chien Chen, Malgorzata Marek-Sadowska · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999 · 42 citations

Applied Logic, Logic Minimization Techniques, Engineering +18

Timing optimization for multi-level combinational networks

Kuang-Chien Chen, Saburo Muroga · 1990 · 41 citations

Engineering, Vlsi Design, Network Planning +20

Rows per page

1–5 of 22