Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/PrincetonUniversity/ILAng

A Modeling and Verification Platform for SoCs using ILAs
https://github.com/PrincetonUniversity/ILAng

abstraction accelerator formal heterogeneous ila ilang system-on-chip verification

Last synced: 3 months ago
JSON representation

A Modeling and Verification Platform for SoCs using ILAs

Host: GitHub
URL: https://github.com/PrincetonUniversity/ILAng
Owner: PrincetonUniversity
License: mit
Created: 2017-01-11T14:32:50.000Z (about 8 years ago)
Default Branch: master
Last Pushed: 2024-07-03T17:12:02.000Z (7 months ago)
Last Synced: 2024-08-03T17:11:00.159Z (6 months ago)
Topics: abstraction, accelerator, formal, heterogeneous, ila, ilang, system-on-chip, verification
Language: C++
Homepage: https://bo-yuan-huang.gitbook.io/ilang/
Size: 193 MB
Stars: 75
Watchers: 13
Forks: 18
Open Issues: 18
Metadata Files:
- Readme: README.md
- Contributing: docs/CONTRIBUTING.md
- License: LICENSE
- Code of conduct: docs/CODE_OF_CONDUCT.md