Seuraa
Hongce Zhang
Hongce Zhang
Hong Kong University of Science and Technology (Guangzhou)
Vahvistettu sähköpostiosoite verkkotunnuksessa ust.hk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Instruction-Level Abstraction (ILA) A Uniform Specification for System-on-Chip (SoC) Verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
882018
Rtlcoder: Outperforming gpt-3.5 in design rtl generation with our open-source dataset and lightweight solution
S Liu, W Fang, Y Lu, Q Zhang, H Zhang, Z Xie
2024 IEEE LLM Aided Design Workshop (LAD), 1-5, 2024
652024
Pono: A Flexible and Extensible SMT-Based Model Checker
M Mann, A Irfan, F Lonsing, Y Yang, H Zhang, K Brown, A Gupta, C Barrett
International Conference on Computer Aided Verification, 461-474, 2021
492021
IN SEARCH FOR A SAT-FRIENDLY BINARIZED NEU-RAL NETWORK ARCHITECTURE
N Narodytska, H Zhang, A Gupta, T Walsh
International Conference on Learning Representations, 2020
422020
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
W Fang, M Li, M Li, Z Yan, S Liu, H Zhang, Z Xie
arXiv preprint arXiv:2402.00386, 2024
352024
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
H Zhang12, M Shinn, A Gupta, A Gurfinkel, N Le, N Narodytska
342020
ILAng: A modeling and verification platform for SoCs using instruction-level abstractions
BY Huang, H Zhang, A Gupta, S Malik
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
252019
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification
H Zhang, C Trippel, YA Manerkar, A Gupta, M Martonosi, S Malik
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
222018
Synthesizing environment invariants for modular hardware verification
H Zhang, W Yang, G Fedyukovich, A Gupta, S Malik
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
212020
MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
W Fang, Y Lu, S Liu, Q Zhang, C Xu, LW Wills, H Zhang, Z Xie
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
172023
A hardware-based technique for efficient implicit information flow tracking
J Shin, H Zhang, J Lee, I Heo, YY Chen, R Lee, Y Paek
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-7, 2016
162016
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
H Zhang, A Gupta, S Malik
International Conference on Verification, Model Checking, and Abstract …, 2021
152021
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
Y Zeng, BY Huang, H Zhang, A Gupta, S Malik
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021
112021
RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique
S Liu, W Fang, Y Lu, J Wang, Q Zhang, H Zhang, Z Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024
62024
Transferable Pre-Synthesis PPA Estimation for RTL Designs With Data Augmentation Techniques
W Fang, Y Lu, S Liu, Q Zhang, C Xu, LW Wills, H Zhang, Z Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024
52024
Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization
W Fang, S Liu, H Zhang, Z Xie
Proceedings of the 61st ACM/IEEE Design Automation Conference, 1-6, 2024
42024
r-map: Relating Implementation and Specification in Hardware Refinement Checking
W Fang, G Hu, H Zhang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
32023
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
C Chen, G Hu, D Zuo, C Yu, Y Ma, H Zhang
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
22024
WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification
W Fang, H Zhang
Tools and Algorithms for the Construction and Analysis of Systems: 29th …, 2023
22023
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking
G Hu, W Zhang, H Zhang
2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD), 1-6, 2023
12023
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20