Zobrazeno 1 - 10
of 2 914
pro vyhledávání: '"Zhen, Hui"'
Autor:
Moravej, Reza, Bodhe, Saurabh, Zhang, Zhanguang, Chetelat, Didier, Tsaras, Dimitrios, Zhang, Yingxue, Zhen, Hui-Ling, Hao, Jianye, Yuan, Mingxuan
Logic synthesis is a crucial phase in the circuit design process, responsible for transforming hardware description language (HDL) designs into optimized netlists. However, traditional logic synthesis methods are computationally intensive, restrictin
Externí odkaz:
http://arxiv.org/abs/2411.00843
Efficiently determining the satisfiability of a boolean equation -- known as the SAT problem for brevity -- is crucial in various industrial problems. Recently, the advent of deep learning methods has introduced significant potential for enhancing SA
Externí odkaz:
http://arxiv.org/abs/2409.18778
Addressing critical challenges in Lamb wave resonators, this paper presents the first validation of resonators incorporating sub-wavelength through-holes. Using the A3 mode resonator based on a LiNbO3 single-crystal thin film and operating in the K b
Externí odkaz:
http://arxiv.org/abs/2409.00783
3D Gaussian Splatting has recently emerged as a powerful representation that can synthesize remarkable novel views using consistent multi-view images as input. However, we notice that images captured in dark environments where the scenes are not full
Externí odkaz:
http://arxiv.org/abs/2408.09130
Autor:
Qin, Zhen-Hui, Wu, Shu-Mao, Hao, Chen-Bei, Chen, Hua-Yang, Liang, Sheng-Nan, Yu, Si-Yuan, Chen, Yan-Feng
This work proposes a double-layer thin-film lithium niobate (LiNbO3) longitudinally excited shear wave resonator with a theoretical electromechanical coupling coefficient exceeding 60%, RaR close to 28%, and no spurious modes. This ultra-large electr
Externí odkaz:
http://arxiv.org/abs/2405.17168
Autor:
Zhang, Zhanguang, Chetelat, Didier, Cotnareanu, Joseph, Ghose, Amur, Xiao, Wenyi, Zhen, Hui-Ling, Zhang, Yingxue, Hao, Jianye, Coates, Mark, Yuan, Mingxuan
Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life applications, yet solving time can vary drastically between solvers for the same instance. This has motivated research into machine learning models that can predic
Externí odkaz:
http://arxiv.org/abs/2405.11024
Autor:
Shi, Zhengyuan, Tang, Tiebing, Khan, Sadaf, Zhen, Hui-Ling, Yuan, Mingxuan, Chu, Zhufei, Xu, Qiang
Effective formulation of problems into Conjunctive Normal Form (CNF) is critical in modern Boolean Satisfiability (SAT) solving for optimizing solver performance. Addressing the limitations of existing methods, our Electronic Design Automation (EDA)-
Externí odkaz:
http://arxiv.org/abs/2403.19446
Autor:
Chen, Lei, Chen, Yiqi, Chu, Zhufei, Fang, Wenji, Ho, Tsung-Yi, Huang, Ru, Huang, Yu, Khan, Sadaf, Li, Min, Li, Xingquan, Li, Yu, Liang, Yun, Liu, Jinwei, Liu, Yi, Lin, Yibo, Luo, Guojie, Shi, Zhengyuan, Sun, Guangyu, Tsaras, Dimitrios, Wang, Runsheng, Wang, Ziyi, Wei, Xinming, Xie, Zhiyao, Xu, Qiang, Xue, Chenhao, Yan, Junchi, Yang, Jun, Yu, Bei, Yuan, Mingxuan, Young, Evangeline F. Y., Zeng, Xuan, Zhang, Haoyi, Zhang, Zuodong, Zhao, Yuxiang, Zhen, Hui-Ling, Zheng, Ziyang, Zhu, Binwu, Zhu, Keren, Zou, Sunan
Within the Electronic Design Automation (EDA) domain, AI-driven solutions have emerged as formidable tools, yet they typically augment rather than redefine existing methodologies. These solutions often repurpose deep learning models from other domain
Externí odkaz:
http://arxiv.org/abs/2403.07257
Considering the challenges faced by large language models (LLMs) in logical reasoning and planning, prior efforts have sought to augment LLMs with access to external solvers. While progress has been made on simple reasoning problems, solving classica
Externí odkaz:
http://arxiv.org/abs/2402.11903
Due to the growing complexity of modern Integrated Circuits (ICs), there is a need for automated circuit design methods. Recent years have seen rising research in hardware design language generation to facilitate the design process. In this work, we
Externí odkaz:
http://arxiv.org/abs/2402.03375