PV3 ILAngconstructs ILA models, makes them from templates, checks equivalence, verifies properties

ILAng, a platform for modeling and verification of systems-on-chip (SoCs) using Instruction-Level Abstractions (ILA)

Application domain/field

Type of tool

Framework for systems-on-chips (SoCs)

Internals

ILAng provides a programming interface for:

Comments

License: MIT
Binary level Framework

Links

Last commit date

12 October 2021

Related papers

https://doi.org/10.1007/978-3-030-17462-0_21 (TACAS '19)

Last publication date

2019

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.