Xiaohua Kong

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 2

Top Topics

Analog To Digital Converter

Top Venues

Publications

Alvin L.-S. 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
Analog/Mixed-Signal Design Challenges in 7-nm CMOS and Beyond. CICC (2019)
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
Analog/mixed-signal design challenges in 7-nm CMOS and beyond. CICC (2018)
Amirali Shayan Arani, Xiang Hu, He Peng, Wenjian Yu, Wanping Zhang, Chung-Kuan Cheng, Mikhail Popovich, Xiaoming Chen, Lew Chua-Eoan, Xiaohua Kong
Parallel flow to analyze the impact of the voltage regulator model in nanoscale power distribution network. ISQED (2009)
Xiaohua Kong, Radu Negulescu
Semihiding operators and active-edge specification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (9) (2006)
Nisrine Saadallah, Xiaohua Kong, Radu Negulescu
High-Speed Reduced Stack Dual Lock Circuits. ASYNC (2004)
Xiaohua Kong, Radu Negulescu
Bolstering Faith in GasP Circuits through Formal Verification. ASYNC (2004)
Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
Refinement-based formal verification with heterogeneous timing. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip. CHARME (2001)
Xiaohua Kong, Radu Negulescu
Formal verification of pulse-mode asynchronous circuits. ASP-DAC (2001)
Radu Negulescu, Xiaohua Kong
Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits. ACSD (2001)
Xiaohua Kong, Radu Negulescu
Formal Verification of Peephole Optimizations in Asynchronous Circuits. FORTE (2001)