@misc{indiciaed8cb4e757a5a,
  title = {Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification},
  author = {Bo-Yuan Huang and Hongce Zhang and Pramod Subramanyan and Yakir Vizel and Aarti Gupta and Sharad Malik},
  year = {2018},
  doi = {10.1145/3282444},
  url = {https://arxiv.org/abs/1801.01114},
  note = {Source identifier: 1801.01114}
}