Junhua Huang

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Boolean Satisfiability

Test Generation

Conflict Management

Top Venues

Publications

Ruiyang Ma, Yuxin Yang, Ziqian Liu, Jiaxi Zhang, Min Li, Junhua Huang, Guojie Luo
VerilogReader: LLM-Aided Hardware Test Generation. CoRR (2024)
Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Hui-Ling Zhen, Guangji Tian, Mingxuan Yuan
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. CoRR (2024)
Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. DATE (2024)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD (2023)
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. CoRR (2023)
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. KDD (2023)
Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformer-Based UNSAT Core Learning. ICCAD (2023)
Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG. CoRR (2023)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR (2023)
Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao
Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. ASP-DAC (2022)
Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang
Neural Fault Analysis for SAT-based ATPG. ITC (2022)
Junhua Huang, Bohan Zhu, Hongxi Zhou, Qiwei Zheng, Zhuo Chen, Tong Lin, Yuanyuan Zhao, Ziqi Dong, Xiaofang Gao, Yongli Zhao
OSNR Prediction Based on Federal Learning in Multi-Domain Optical Networks. CECNet (2021)
Liang Chen, Kunpeng Zheng, Yang Li, Xuelian Yang, Han Zhang, Yangyang Liang, Junhua Huang, Yuan Zhang, Pengfei Xie, Yongli Zhao
Data Augmentation Algorithm Based on Generative Antagonism Networks (GAN) Model for Optical Transmission Networks (OTN). CECNet (2021)