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 4 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 mit-plv/kami | A platform for high-level parametric hardware specification and modular verification | 143 |
 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 | 309 |
 area9innovation/flow9 | A platform for building complex, multi-platform apps with a modern user interface using a safe and functional programming language | 568 |
 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 for building and executing command-line tools and scripts in the Roc programming language | 90 |
 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 | Provides a collection of research and design project ideas to help software developers gain practical experience with MATLAB and Simulink | 1,345 |
 specify/specify7 | A web-based data management platform for biological collections, offering collaboration, cloud computing, and single sign-on features. | 67 |
 lbryio/lbry.com | A website built using PHP, providing functionality for redirecting to build assets of other LBRY repositories. | 264 |
 agenta-ai/agenta | An end-to-end platform for building and deploying large language model applications | 1,624 |
 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,345 |