Login / Signup
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