Skip to content

Latest commit

 

History

History
49 lines (32 loc) · 1.49 KB

README.md

File metadata and controls

49 lines (32 loc) · 1.49 KB

Codacy Badge Build Status

This is the ILA model database, archiving the ILA models and the verification scripts.

Content

Tutorials

  • AES is a documented tutorial for ILA-based behavioral equivalence checking.

Examples

  • FIFO-BMC demonstrates the bounded model checking (BMC) capability of ILAng using a FIFO example.

Cores

Accelerators

Uncores

  • LMAC: LeWiz Communications Ethernet MAC.

Others

Contribute

  1. Please ensure all commited files follow the MIT License requirements.
  2. Please properly categorize the design and provide scripts for setting up/reproducing the case study in scripts/ci.
  3. Please test and make sure your model works (at least) under the below environment:

Environment:

  • Ubuntu 18.04 LTS (Bionic)
  • gcc 7.4.0
  • Python 2.7
  • boost 1.65.1
  • z3 4.4.1
  • bison 3.0.4
  • flex 2.6.0
  • ILAng (0.9.1 or above)

A docker image with the above configuration can be pulled by:

docker pull byhuang/ilang:IMDb-ci