| 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 | 73 | 2018 |
| 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 | 42 | 2021 |
| 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 | 35 | 2020 |
| Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis H Zhang12, M Shinn, A Gupta, A Gurfinkel, N Le, N Narodytska | 30 | 2020 |
| 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 arXiv preprint arXiv:2312.08617, 2023 | 27 | 2023 |
| 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 | 20 | 2020 |
| 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 | 20 | 2019 |
| 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 | 19 | 2018 |
| 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 | 17 | 2021 |
| 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 | 14 | 2016 |
| 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 | 13 | 2024 |
| 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 | 7 | 2021 |
| 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 | 5 | 2023 |
| 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 | 1 | 2023 |
| 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 | 1 | 2023 |
| 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 | | 2024 |
| How Good is Your Property? A New Metric for Formal Property Coverage Q Zhao, H Zhang International Symposium of EDA (ISEDA), 2024 | | 2024 |
| AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction Z Yan, M Li, Z Shi, W Zhang, Y Chen, H Zhang 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2024 | | 2024 |
| 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 arXiv preprint arXiv:2403.14242, 2024 | | 2024 |
| DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction G Hu, J Tang, C Yu, W Zhang, H Zhang The 29th Asia and South Pacific Design Automation Conference, 262-268, 2024 | | 2024 |
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
