TY  - RPRT
TI  - Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
AU  - Bo-Yuan Huang
AU  - Hongce Zhang
AU  - Pramod Subramanyan
AU  - Yakir Vizel
AU  - Aarti Gupta
AU  - Sharad Malik
PY  - 2018
DO  - 10.1145/3282444
UR  - https://arxiv.org/abs/1801.01114
ID  - 1801.01114
ER  -