• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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