ILAng
SoC modeling tool
A modeling and verification platform for system-on-chip design using Intermediate Level Arithmetic
A Modeling and Verification Platform for SoCs using ILAs
75 stars
13 watching
18 forks
Language: C++
last commit: 5 months ago
Linked from 1 awesome list
abstractionacceleratorformalheterogeneousilailangsystem-on-chipverification
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 bo-yuan-huang/ilang | A platform for designing and verifying digital systems using Intermediate Level Architecture (ILA) models | 3 |
 rubisco-sfa/ilamb | Software for comparing earth system models with reference data products, presenting results in web pages. | 46 |
 sri-csl/pvs | A verification system for formal methods research and application | 139 |
 gangtan/cpumodels | Formal models of computer architectures and verification tools for security checks and instrumentation | 36 |
 umass-foundation-model/3d-llm | Developing a Large Language Model capable of processing 3D representations as inputs | 961 |
 xverse-ai/xverse-7b | A multilingual large language model developed by XVERSE Technology Inc. | 50 |
 melih-unsal/demogpt | A comprehensive toolset for building Large Language Model (LLM) based applications | 1,710 |
 mit-plv/kami | A platform for high-level parametric hardware specification and modular verification | 142 |
 asyncvlsi/act | Asynchronous circuit design and simulation tools using a hardware description language. | 99 |
 gpustack/gpustack | Manages GPU clusters for large language models | 600 |
 ys-zong/vl-icl | A benchmarking suite for multimodal in-context learning models | 28 |
 pcg-mlp/ksanallm | An LLM inference and serving engine with high performance, flexibility, and support for various hardware platforms. | 288 |
 zweifisch/ollama | An Emacs Lisp client that integrates AI-powered language tools into the Emacs editor | 51 |
 360cvgroup/360vl | A large multi-modal model developed using the Llama3 language model, designed to improve image understanding capabilities. | 30 |
 chipsalliance/synlig | A SystemVerilog synthesis tool that generates digital circuit designs from HDL code | 169 |