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

Related papers

ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions (TACAS '19)

Last publication date

2019

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.