ILAng
A Modeling and Verification Platform for SoCs using ILAs
AI summary
SoC modeling tool
A modeling and verification platform for system-on-chip design using Intermediate Level Arithmetic
- stars
- 75
- forks
- 18
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
System design platform
A platform for designing and verifying digital systems using Intermediate Level Architecture (ILA) models
Model comparison software
Software for comparing earth system models with reference data products, presenting results in web pages.
sri-csl/pvs141
Verification system
A verification system for formal methods and specification languages
CPU modeling project
Formal models of computer architectures and verification tools for security checks and instrumentation
3D LLM
Developing a Large Language Model capable of processing 3D representations as inputs
LLM
A multilingual large language model developed by XVERSE Technology Inc.
LLM toolkit
A comprehensive toolset for building Large Language Model (LLM) based applications
mit-plv/kami143
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
Circuit simulator
Asynchronous circuit design and simulation tools using a hardware description language.
GPU cluster manager
Manages GPU clusters for running AI models
Learning benchmark
A benchmarking suite for multimodal in-context learning models
LLM engine
An LLM inference and serving engine with high performance, flexibility, and support for various hardware platforms.
Lisp client
An Emacs Lisp client that integrates AI-powered language tools into the Emacs editor
Image understanding model
A large multi-modal model developed using the Llama3 language model, designed to improve image understanding capabilities.
HDL synthesizer
A SystemVerilog synthesis tool that generates digital circuit designs from HDL code
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ILAng.
