ILAng
System design platform
A platform for designing and verifying digital systems using Intermediate Level Architecture (ILA) models
A Modeling and Verification Platform for SoCs using ILAs
3 stars
1 watching
0 forks
Language: C++
last commit: over 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 mit-plv/kami | A platform for high-level parametric hardware specification and modular verification | 142 |
 zeayal/xiao-po-zhan | A Solidity-based initialization script for a decentralized platform. | 0 |
 a16z/zkdocs | A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs | 308 |
 area9innovation/flow9 | A platform for building complex, multi-platform apps with a modern user interface using a safe and functional programming language | 569 |
 chenliang2016/clreactantdesign | An enterprise backend management software built using the Ant Design framework and Egg.js. | 176 |
 libavg/libavg | A high-level platform for developing media-centric applications with support for multitouch development and optical tracking. | 104 |
 roc-lang/basic-cli | A basic Command-Line Interface platform written in Roc | 89 |
 liaoziyang/stackneveroverflow | A simple Q&A platform with user authentication and markdown support | 166 |
 commonevaluationplatform/cep | An SoC design with a set of license-unencumbered components, intended to support developmental testing and verification. | 21 |
 mathworks/matlab-simulink-challenge-project-hub | A collection of projects and resources to help students gain practical experience with MATLAB and Simulink, and make contributions to science and engineering. | 1,309 |
 specify/specify7 | A web-based data management platform with collaborative digitization support and single sign-on integration | 66 |
 lbryio/lbry.com | The lbry.com project serves as the website for the LBRY protocol, providing functionality for redirecting to build assets of other LBRY repositories. | 264 |
 agenta-ai/agenta | A developer platform for building and deploying large language models | 1,275 |
 josuigoa/experiments | An experimental platform exploring the intersection of Haxe and various technologies to drive innovation in software development. | 3 |
 benfry/processing4 | An effort to improve and update the source code of a popular Java-based software development environment for visual design and programming | 1,348 |