Hongce Zhang
Hongce Zhang
Home
Projects
Publications
Posts
Teaching
Light
Dark
Automatic
2
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
SoC Function Modeling and Refinement Checking
Bo-Yuan Huang
,
Hongce Zhang
,
Pramod Subramanyan
,
Yakir Vizel
,
Aarti Gupta
,
Sharad Malik
PDF
Cite
Cite
×