Weihua Xiao

22 papers A* 1A 5C 1Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Focus Session: LLM4PQC - An Agentic Framework for Accurate and Efficient Synthesis of PQC Cores.
CoRR
Buddhi Perera, Zeng Wang, Weihua Xiao, Mohammed Nabeel, Ozgur Sinanoglu, Johann Knechtel, Ramesh Karri
2026 J jnl
GUIDE: GenAI Units In Digital Design Education.
CoRR
Weihua Xiao, Jason Blocklove, Matthew DeLorenzo, Johann Knechtel, Ozgur Sinanoglu, Kanad Basu, Jeyavijayan Rajendran, Siddharth Garg, Ramesh Karri
2026 J jnl
TrojanGYM: A Detector-in-the-Loop LLM for Adaptive RTL Hardware Trojan Insertion.
CoRR
Saideep Sreekumar, Zeng Wang, Akashdeep Saha, Weihua Xiao, Minghao Shao, Muhammad Shafique, Ozgur Sinanoglu, Ramesh Karri, Johann Knechtel
2025 — conf
Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA.
MLCAD
Weihua Xiao, Derek Ekberg, Siddharth Garg, Ramesh Karri
2025 J jnl
Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA.
CoRR
Weihua Xiao, Derek Ekberg, Siddharth Garg, Ramesh Karri
2025 J jnl
TrojanLoC: LLM-based Framework for RTL Trojan Localization.
CoRR
Weihua Xiao, Zeng Wang, Minghao Shao, Raghu Vamshi Hemadri, Ozgur Sinanoglu, Muhammad Shafique, Johann Knechtel, Siddharth Garg, Ramesh Karri
2025 J jnl
VeriDispatcher: Multi-Model Dispatching through Pre-Inference Difficulty Prediction for RTL Generation Optimization.
CoRR
Zeng Wang, Weihua Xiao, Minghao Shao, Raghu Vamshi Hemadri, Ozgur Sinanoglu, Muhammed Shafique, Ramesh Karri
2025 J jnl
VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification.
CoRR
Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg
2024 J jnl
A Survey on Approximate Multiplier Designs for Energy Efficiency: From Algorithms to Circuits.
ACM Trans. Design Autom. Electr. Syst.
Ying Wu, Chuangtao Chen, Weihua Xiao, Xuan Wang, Chenyi Wen, Jie Han, Xunzhao Yin, Weikang Qian, Cheng Zhuo
2024 A* conf
Efficient Approximate Decomposition Solver using Ising Model.
DAC
Weihua Xiao, Tingting Zhang, Xingyue Qian, Jie Han, Weikang Qian
2024 J jnl
PrefixLLM: LLM-aided Prefix Circuit Design.
CoRR
Weihua Xiao, Venkata Sai Charan Putrevu, Raghu Vamshi Hemadri, Siddharth Garg, Ramesh Karri
2023 J jnl
A Survey on Approximate Multiplier Designs for Energy Efficiency: From Algorithms to Circuits.
CoRR
Ying Wu, Chuangtao Chen, Weihua Xiao, Xuan Wang, Chenyi Wen, Jie Han, Xunzhao Yin, Weikang Qian, Cheng Zhuo
2023 A conf
MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network.
ICCAD
Weihua Xiao, Shanshan Han, Yue Yang, Shaoze Yang, Cheng Zheng, Jingsong Chen, Tingyuan Liang, Lei Li, Weikang Qian
2022 A conf
ASPPLN: Accelerated Symbolic Probability Propagation in Logic Network.
ICCAD
Weihua Xiao, Weikang Qian
2022 A conf
OPACT: Optimization of Approximate Compressor Tree for Approximate Multiplier.
DATE
Weihua Xiao, Cheng Zhuo, Weikang Qian
2022 C conf
Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound.
ISCAS
Chenfei Lou, Weihua Xiao, Weikang Qian
2021 A conf
GOMIL: Global Optimization of Multiplier by Integer Linear Programming.
DATE
Weihua Xiao, Weikang Qian, Weiqiang Liu
2020 A conf
Exploring Target Function Approximation for Stochastic Circuit Minimization.
ICCAD
Chen Wang, Weihua Xiao, John P. Hayes, Weikang Qian
2013 J jnl
Probabilistic programming models for traffic incident management operations planning.
Ann. Oper. Res.
Kaan Özbay, Cem Iyigun, Melike Baykal-Gursoy, Weihua Xiao
2009 J jnl
Modeling traffic flow interrupted by incidents.
Eur. J. Oper. Res.
Melike Baykal-Gürsoy, Weihua Xiao, Kaan Özbay
2005 J jnl
TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition.
Transp. Sci.
Lawrence Snyder, Miguel Andres Figliozzi, Jeffrey Michael Casello, Elaine J. Chang, Chi-Nan Chin, Frank Crittin, Laurie Garrow, Paulo Goncalves, Dennis Huisman, Wenlong Jin, Laura Sumi Kang, Zongzhi Li, Steven Logghe, Leon Peeters, Nicolás E. Stier Moses, Weihua Xiao
2004 J jnl
Stochastic Decomposition in M/M/infinity Queues with Markov Modulated Service Rates.
Queueing Syst. Theory Appl.
Melike Baykal-Gursoy, Weihua Xiao