Xiaohua Kong

According to our database, Xiaohua Kong authored at least 10 papers between 2001 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2019

Analog/Mixed-Signal Design Challenges in 7-nm CMOS and Beyond.

Alvin Leng Sun Loke, Da Yang, Tin Tin Wee, Jonathan L. Holland, Patrick Isakanian, Kern Rim, Sam Yang, Jacob S. Schneider, Giri Nallapati, Sreeker Dundigal, Hasnain Lakdawala, Behnam Amelifard, Chulkyu Lee, Betty McGovern, Paul S. Holdaway, Xiaohua Kong, Burton M. Leary

Proceedings of the IEEE Custom Integrated Circuits Conference, 2019

2009

Parallel flow to analyze the impact of the voltage regulator model in nanoscale power distribution network.

Amirali Shayan Arani, Xiang Hu, He Peng, Wenjian Yu, Wanping Zhang, Chung-Kuan Cheng, Mikhail Popovich, Xiaoming Chen, Lew Chua-Eoan, Xiaohua Kong

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2006

Semihiding operators and active-edge specification.

Xiaohua Kong, Radu Negulescu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2004

High-Speed Reduced Stack Dual Lock Circuits.

Nisrine Saadallah, Xiaohua Kong, Radu Negulescu

Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004

Bolstering Faith in GasP Circuits through Formal Verification.

Xiaohua Kong, Radu Negulescu

Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004

2003

Refinement-based formal verification with heterogeneous timing.

Xiaohua Kong, Radu Negulescu, Larry Weidong Ying

Int. J. Softw. Tools Technol. Transf., 2003

2001

Formal Verification of Peephole Optimizations in Asynchronous Circuits.

Xiaohua Kong, Radu Negulescu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip.

Xiaohua Kong, Radu Negulescu, Larry Weidong Ying

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Formal verification of pulse-mode asynchronous circuits.

Xiaohua Kong, Radu Negulescu

Proceedings of ASP-DAC 2001, 2001

Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits.

Radu Negulescu, Xiaohua Kong

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001