Congguang Yang

机构：University of Massachusetts Amherst, Stanford University

发表论文 11 篇 · 总被引 1086 次 · h-index 8

代表论文

• Protocol verification as a hardware design aid (2003 · 被引 399)
• BDS: a BDD-based logic optimization system (2002 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 被引 185)
• Validation with guided search of the state space (1998 · 被引 178)
• Architecture validation for processors (1995 · 被引 146)
• BDS (2000 · 被引 54)
• BDD decomposition for efficient logic synthesis (2003 · 被引 48)