Yexin Zheng

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Yexin Zheng, Michael S. Hsiao, Chao Huang: SAT-based equivalence checking of threshold logic designs for nanotechnologies. ACM Great Lakes Symposium on VLSI 2008: 225-230

1 EE Yexin Zheng, Chao Huang: Reconfigurable RTD-based circuit elements of complete logic functionality. ASP-DAC 2008: 71-76

2008
2	EE	Yexin Zheng, Michael S. Hsiao, Chao Huang: SAT-based equivalence checking of threshold logic designs for nanotechnologies. ACM Great Lakes Symposium on VLSI 2008: 225-230
1	EE	Yexin Zheng, Chao Huang: Reconfigurable RTD-based circuit elements of complete logic functionality. ASP-DAC 2008: 71-76

Coauthor Index