Formal definition for ILA: [ILA_def] (https://github.com/Bo-Yuan-Huang/ILA/wiki/ILA-Definition).
To build ILA synthesis tool, look in the [synthesis/libcpp] (https://github.com/Bo-Yuan-Huang/ILA/tree/master/synthesis/libcpp) directory.
For some examples, see the [examples] (https://github.com/Bo-Yuan-Huang/ILA/tree/master/examples) directory.
For API documents and tutorials, see the [docs] (https://github.com/Bo-Yuan-Huang/ILA/tree/master/docs) directory.
-
(Invited) Specification and Modeling for Systems-on-Chip Security Verification. Sharad Malik and Pramod Subramanyan. Proceedings of the Design Automation Conference. (DAC 2016), Austin, TX. June 2016. [[PDF] (https://github.com/Bo-Yuan-Huang/ILA/blob/master/papers/publications/Invited_Specification_and_Modeling_for_Systems_on_Chip_Security_Verification.pdf)]
-
Verifying Information Flow Properties of Firmware using Symbolic Execution. Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti and Jason Fung. Proceedings of Design Automation and Test in Europe. (DATE 2016). Dresden, Germany, March 2016. [[PDF] (https://github.com/Bo-Yuan-Huang/ILA/blob/master/papers/publications/Verifying_Information_Flow_Properties_of_Firmware_using_Symbolic_Execution.pdf)]
-
Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. Pramod Subramanyan, Yakir Vizel, Sayak Ray and Sharad Malik. Proceedings of Formal Methods in Computer-Aided Design. (FMCAD 2015). Austin, TX, September 2015. [[PDF] (https://github.com/Bo-Yuan-Huang/ILA/blob/master/papers/publications/Template_based_Instruction_Level_Abstraction_for_SoC_Verification.pdf)]