C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.
Bo-Yuan Huang
Hongce Zhang
Aarti Gupta
Sharad Malik
Published in:
TACAS (1) (2019)
Keyphrases
</>
high level
real time
higher level
multimedia
case study
e government
model checking
modeling method