Skip to content
ILA Model Database
Branch: master
Clone or download
Pull request Compare This branch is even with PrincetonUniversity:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.github/ISSUE_TEMPLATE
accls
cores
docs
examples
others/fw-verif
scripts
tutorials/aes
uncores
.gitignore
.travis.yml
LICENSE
README.md

README.md

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
You can’t perform that action at this time.