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