ILAng
A Modeling and Verification Platform for SoCs using ILAs
AI summary
System design platform
A platform for designing and verifying digital systems using Intermediate Level Architecture (ILA) models
- stars
- 3
- forks
- 0
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
mit-plv/kami143
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
Platform initializer
A Solidity-based initialization script for a decentralized platform.
a16z/zkdocs309
Info verification platform
A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs
Platform builder
A platform for building complex, multi-platform apps with a modern user interface using a safe and functional programming language
Enterprise admin platform
An enterprise backend management software built using the Ant Design framework and Egg.js.
Media platform
A high-level platform for developing media-centric applications with support for multitouch development and optical tracking.
CLI tool builder
A basic Command-Line Interface platform for building and executing command-line tools and scripts in the Roc programming language
QA platform
A simple Q&A platform with user authentication and markdown support
SoC design
An SoC design with a set of license-unencumbered components, intended to support developmental testing and verification.
Project hub
Provides a collection of research and design project ideas to help software developers gain practical experience with MATLAB and Simulink
Collection manager
A web-based data management platform for biological collections, offering collaboration, cloud computing, and single sign-on features.
Website builder
A website built using PHP, providing functionality for redirecting to build assets of other LBRY repositories.
agenta-ai/agenta1.6K
LLM platform
An end-to-end platform for building and deploying large language model applications
Development platform
An experimental platform exploring the intersection of Haxe and various technologies to drive innovation in software development.
Development platform
An effort to improve and update the source code of a popular Java-based software development environment for visual design and programming
