Skip to content

Latest commit

 

History

History
21 lines (16 loc) · 605 Bytes

README.md

File metadata and controls

21 lines (16 loc) · 605 Bytes
Raw

Instruction-Level Abstraction (ILA) of LMAC

This ILA description is derived based on the LeWiz Communications Ethernet MAC (LMAC), which is licensed under GNU LGPL. Check below for further detail:

Build

To build this ILA model, create a build directory and run:

mkdir -p build && cd build
cmake ..
make

The output is an executable lmac, which can be used to generate the LMAC ILA and the verification target for equivalence checking.

./lmac