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

• Systems-on-chip (SoC)
• Instruction-Level Abstraction (ILA)
• Hardware components
• Hardware-software interface

Type of tool

Framework for systems-on-chips (SoCs)

Internals

ILAng provides a programming interface for:

• Constructing ILA models
• Synthesizing ILA models from templates
• Verifying properties on ILA models
• Check equivalence between different ILA models, and between an ILA specification and implementation

Comments

License: MIT