A hardware-based technique for efficient implicit information flow tracking
Jangseop Shin, Hongce Zhang, Jinyong Lee, Ingoo Heo, Yu-Yuan Chen, Lee, Ruby, Yunheung Paek
Published in 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2016)
Published in 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2016)
Get full text
Conference Proceeding
Transferable Pre-Synthesis PPA Estimation for RTL Designs With Data Augmentation Techniques
Fang, Wenji, Lu, Yao, Liu, Shang, Zhang, Qijun, Xu, Ceyu, Wills, Lisa Wu, Zhang, Hongce, Xie, Zhiyao
Published in IEEE transactions on computer-aided design of integrated circuits and systems (28.06.2024)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (28.06.2024)
Get full text
Journal Article
AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction
Yan, Zhiyuan, Li, Min, Shi, Zhengyuan, Zhang, Wenjie, Chen, Yingcong, Zhang, Hongce
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Get full text
Conference Proceeding
INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms
Huang, Bo-Yuan, Zhang, Hongce, Gupta, Aarti, Malik, Sharad
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
Fang, Wenji, Lu, Yao, Liu, Shang, Zhang, Qijun, Xu, Ceyu, Wills, Lisa Wu, Zhang, Hongce, Xie, Zhiyao
Published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (28.10.2023)
Published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (28.10.2023)
Get full text
Conference Proceeding
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
Zeng, Yu, Huang, Bo-Yuan, Zhang, Hongce, Gupta, Aarti, Malik, Sharad
Published in 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (01.11.2021)
Published in 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (01.11.2021)
Get full text
Conference Proceeding
How Good is Your Property? A New Metric for Formal Property Coverage
Zhao, Qianwen, Zhang, Hongce
Published in 2024 2nd International Symposium of Electronics Design Automation (ISEDA) (10.05.2024)
Published in 2024 2nd International Symposium of Electronics Design Automation (ISEDA) (10.05.2024)
Get full text
Conference Proceeding
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking
Hu, Guangyu, Zhang, Wei, Zhang, Hongce
Published in 2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD) (10.09.2023)
Published in 2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD) (10.09.2023)
Get full text
Conference Proceeding
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction
Hu, Guangyu, Tang, Jianheng, Yu, Changyuan, Zhang, Wei, Zhang, Hongce
Published in 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) (22.01.2024)
Published in 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) (22.01.2024)
Get full text
Conference Proceeding
RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution
Liu, Shang, Fang, Wenji, Lu, Yao, Zhang, Qijun, Zhang, Hongce, Xie, Zhiyao
Published in 2024 IEEE LLM Aided Design Workshop (LAD) (28.06.2024)
Published in 2024 IEEE LLM Aided Design Workshop (LAD) (28.06.2024)
Get full text
Conference Proceeding
AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Fang, Wenji, Li, Mengming, Li, Min, Yan, Zhiyuan, Liu, Shang, Zhang, Hongce, Xie, Zhiyao
Published in 2024 IEEE LLM Aided Design Workshop (LAD) (28.06.2024)
Published in 2024 IEEE LLM Aided Design Workshop (LAD) (28.06.2024)
Get full text
Conference Proceeding
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
Chen, Chen, Hu, Guangyu, Zuo, Dongsheng, Yu, Cunxi, Ma, Yuzhe, Zhang, Hongce
Year of Publication 21.03.2024
Year of Publication 21.03.2024
Get full text
Journal Article
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Fang, Wenji, Li, Mengming, Li, Min, Yan, Zhiyuan, Liu, Shang, Zhang, Hongce, Xie, Zhiyao
Year of Publication 01.02.2024
Year of Publication 01.02.2024
Get full text
Journal Article
RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique
Liu, Shang, Fang, Wenji, Lu, Yao, Wang, Jing, Zhang, Qijun, Zhang, Hongce, Xie, Zhiyao
Year of Publication 13.12.2023
Year of Publication 13.12.2023
Get full text
Journal Article
Addressing Variable Dependency in GNN-based SAT Solving
Yan, Zhiyuan, Li, Min, Shi, Zhengyuan, Zhang, Wenjie, Chen, Yingcong, Zhang, Hongce
Year of Publication 18.04.2023
Year of Publication 18.04.2023
Get full text
Journal Article
MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
Fang, Wenji, Lu, Yao, Liu, Shang, Zhang, Qijun, Xu, Ceyu, Wills, Lisa Wu, Zhang, Hongce, Xie, Zhiyao
Year of Publication 14.11.2023
Year of Publication 14.11.2023
Get full text
Journal Article