Junhua Huang

According to our database, Junhua Huang authored at least 11 papers between 2021 and 2024.

Collaborative distances:

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

2024

VerilogReader: LLM-Aided Hardware Test Generation.

Ruiyang Ma, Yuxin Yang, Ziqian Liu, Jiaxi Zhang, Min Li, Junhua Huang, Guojie Luo

CoRR, 2024

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability.

Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Hui-Ling Zhen, Guangji Tian, Mingxuan Yuan

CoRR, 2024

Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification.

Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG.

Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang

CoRR, 2023

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.

Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

DeepGate2: Functionality-Aware Circuit Representation Learning.

Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SATformer: Transformer-Based UNSAT Core Learning.

Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Neural Fault Analysis for SAT-based ATPG.

Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang

Proceedings of the IEEE International Test Conference, 2022

Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics.

Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021

OSNR Prediction Based on Federal Learning in Multi-Domain Optical Networks.

Junhua Huang, Bohan Zhu, Hongxi Zhou, Qiwei Zheng, Zhuo Chen, Tong Lin, Yuanyuan Zhao, Ziqi Dong, Xiaofang Gao, Yongli Zhao

Proceedings of CECNet 2021, 2021

Data Augmentation Algorithm Based on Generative Antagonism Networks (GAN) Model for Optical Transmission Networks (OTN).

Liang Chen, Kunpeng Zheng, Yang Li, Xuelian Yang, Han Zhang, Yangyang Liang, Junhua Huang, Yuan Zhang, Pengfei Xie, Yongli Zhao

Proceedings of CECNet 2021, 2021