Instruction-level abstraction (ILA): A uniform specification for system-on-chip (SoC) verification
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik[doi] [Google Scholar] [DBLP] [Citeseer]
ACM Transactions on Design Automation of Electronic Systems
2019
Note(s): CPU verification, ISA specification
2019
Note(s): CPU verification, ISA specification