Login / Signup

ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.

Bo-Yuan HuangHongce ZhangAarti GuptaSharad Malik
Published in: TACAS (1) (2019)
Keyphrases
  • high level
  • real time
  • higher level
  • multimedia
  • case study
  • e government
  • model checking
  • modeling method