FM01.1.10 Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification Start 18:00 End 21:00 Author Bo-Yuan Huang, Student, Taiwan