Hongce Zhang
Hongce Zhang
Home
Projects
Publications
Posts
Teaching
Light
Dark
Automatic
1
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
Constructing Instruction-Level Abstraction from RTL
Yu Zeng
,
Bo-Yuan Huang
,
Hongce Zhang
,
Aarti Gupta
,
Sharad Malik
PDF
Cite
Pono: A Flexible and Extensible SMT-based Model Checker
Model Checking
Makai Mann
,
Ahmed Irfan
,
Florian Lonsing
,
Yahan Yang
,
Hongce Zhang
,
Kristopher Brown
,
Aarti Gupta
,
Clark Barrett
PDF
Cite
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Hardware Model Checking
Hongce Zhang
,
Aarti Gupta
,
Sharad Malik
PDF
Cite
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
Neural Network Verification
Hongce Zhang
,
Maxwell Shinn
,
Aarti Gupta
,
Arie Gurfinkel
,
Nham Le
,
Nina Narodytska
PDF
Cite
In Search for a SAT-Friendly Binarized Neural Network Architecture
Neural Network Verification
Nina Narodytska
,
Hongce Zhang
,
Aarti Gupta
,
Toby Walsh
PDF
Cite
Synthesizing Environment Invariants for Modular Hardware Verification
Modular Hardware Verification
Hongce Zhang
,
Weikun Yang
,
Grigory Fedyukovich
,
Aarti Gupta
,
Sharad Malik
PDF
Cite
ILAng: a Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
SoC Function Modeling and Refinement Checking
Bo-Yuan Huang
,
Hongce Zhang
,
Aarti Gupta
,
Sharad Malik
PDF
Cite
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification
Memory Consistency Model
Hongce Zhang
,
Caroline Trippel
,
Yatin A. Manerkar
,
Aarti Gupta
,
Margaret Martonosi
,
Sharad Malik
PDF
Cite
A Hardware-based Technique for Efficient Implicit Information Flow Tracking
Hardware information-flow tracking
Jangseop, Shin
,
Hongce Zhang
,
Jinyong Lee
,
Ingoo Heo
,
Yu-Yuan Chen
,
Ruby Lee
,
Yunheung Paek
PDF
Cite
Cite
×