Login / Signup
Yue Xing
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Lightweight
Model Checker
Higher Level
Cryptographic Protocols
Top Venues
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Huaixi Lu
,
Yue Xing
,
Aarti Gupta
,
Sharad Malik
SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications.
ACM Trans. Design Autom. Electr. Syst.
28 (6) (2023)