https://github.com/princetonuniversity/imdb
The ILA model database
https://github.com/princetonuniversity/imdb
Last synced: 7 months ago
JSON representation
The ILA model database
- Host: GitHub
- URL: https://github.com/princetonuniversity/imdb
- Owner: PrincetonUniversity
- License: mit
- Created: 2021-02-22T02:29:25.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2024-04-22T18:42:56.000Z (over 1 year ago)
- Last Synced: 2025-01-21T09:30:29.565Z (9 months ago)
- Homepage:
- Size: 22.5 KB
- Stars: 5
- Watchers: 6
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
[](https://app.codacy.com/app/Bo-Yuan-Huang/IMDb?utm_source=github.com&utm_medium=referral&utm_content=PrincetonUniversity/IMDb&utm_campaign=Badge_Grade_Dashboard)
[](https://travis-ci.org/PrincetonUniversity/IMDb)
This is the ILA model database, archiving the ILA models and the verification scripts.
[IMDb_Archive](https://github.com/PrincetonUniversity/IMDb-Archive)
## Content
### Accelerators
- [AES](https://github.com/yuex1994/ILA_AES): ILA model of the AES (Advanced Encryption Standard) accelerator.
- [SHA](https://github.com/yuex1994/ILA_SHA): ILA model of the SHA (Secure Hash Algorithm) accelerator.
- [FLEXNLP](https://github.com/PrincetonUniversity/flexnlp-ila): ILA model of the FlexASR accelerator (all rights reserved - Harvard University).
- [HLS-CNN](https://github.com/PrincetonUniversity/hlscnn-ila): This is the ILA model of HLSCNN accelerator (all right reserved - Harvard University)
- [VTA](https://github.com/LeeOHzzZ/vta-ila): ILA model of the Versatile Tensor Accelerator (VTA)
- [GB](https://github.com/yuzeng2333/ILA_GB): ILA model of the Gaussian Blurr Accelerator (GB)
- [RBM](https://github.com/yuzeng2333/ILA_RBM): ILA model of the Restricted Boltzman Machine Accelerator (RBM)
- [NVDLA](https://github.com/yuzeng2333/ILA_NVDLA): ILA model of the NVDLA Accelerator
### Communication
- [LMAC](https://github.com/LeeOHzzZ/lmac-ila): LeWiz Communications Ethernet MAC.
- [AXI](https://github.com/PrincetonUniversity/ILA_AXI_Protocol): OH! Implementation, it also includes the protocol verification
- [Off-chip](https://github.com/HuaixiLu/ILA_Offchip_Protocol): BaseJump Implementation
### Cores
- [RISC-V]
- [Pico](https://github.com/yuzeng2333/ILA_Pico): The PicoRISCV processor, simple core without pipeline
- [Piccolo](https://github.com/yuzeng2333/ILA_Piccolo): The Piccolo processor with pipepines.
- [Rocket](https://github.com/PrincetonUniversity/ILA_Rocket): Rocket Processor
- [PTX](https://github.com/yuex1994/ILA_PTX): ILA model of the Nvidia GPU PTX ISA.
- [Nibber](https://github.com/HuaixiLu/ILA_Nibbler): ILA verification of a SIMD Processor
- [8051](https://github.com/yuex1994/ILA_8051): ILA model of the Intel 8051 micro-processor
### Others
- [FIFO-BMC](examples/FIFO-BMC) demonstrates the bounded model checking (BMC) capability of ILAng using a FIFO example.
- [Cache Coherence](https://github.com/HuaixiLu/ILA_CCP): OpenPiton Implementation, we also verifies cache coherence protocol under this repo.
- [Memory Controller](https://github.com/yuzeng2333/ILA_garnet.git): ILA model of the Garnet Memory Controller
## Contribute
1. Please ensure all commited files follow the [MIT License](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](https://github.com/Bo-Yuan-Huang/ILAng) (0.9.1 or above)
A docker image with the above configuration can be pulled by:
``` bash
docker pull byhuang/ilang:IMDb-ci
```