C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Huaixi Lu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Provably Correct
Formal Languages
Specification Language
Friendly Interface
Top Venues
DATE
ACM Trans. Design Autom. Electr. Syst.
ICCAD
</>
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)
Yue Xing
,
Huaixi Lu
,
Aarti Gupta
,
Sharad Malik
Compositional Verification Using a Formal Component and Interface Specification.
ICCAD
(2022)
Yue Xing
,
Huaixi Lu
,
Aarti Gupta
,
Sharad Malik
Leveraging Processor Modeling and Verification for General Hardware Modules.
DATE
(2021)