openasip
Co-processor designer
A toolset for designing and programming customized co-processors with a focus on flexibility and customizability
Open Application-Specific Instruction Set processor tools (OpenASIP)
146 stars
15 watching
44 forks
Language: C
last commit: 11 days ago
Linked from 1 awesome list
asic-designfpgahardware-acceleratorshardware-designs
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 commonevaluationplatform/cep | An SoC design with a set of license-unencumbered components, intended to support developmental testing and verification. | 21 |
 google/xls | Accelerates development of high-performance hardware and software by automating co-design and synthesis | 1,212 |
 sifive/prockami | Formal verification and implementation of RISC-V processor designs using Coq. | 22 |
 zipcpu/autofpga | Automates the process of creating and updating FPGA designs from peripherals in multiple languages. | 169 |
 cpitclaudel/alectryon | Tools for processing Coq code and prose in technical documents | 236 |
| cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 354 |
 cmassiot/upipe | A dataflow framework designed to process multimedia data buffers in a flexible and modular way. | 1 |
 mdolab/openconcept | A toolkit for designing and optimizing aircraft with unconventional propulsion systems | 36 |
| sifive/kami | A Coq-based DSL for designing and verifying hardware systems | 197 |
 opencapi/opencapi3.0_client_refdesign | Provides hardware description and tools for integrating an FPGA with Power9 processors using OpenCAPI technology | 11 |
 arduino/openocd | Tools for on-chip programming and debugging of embedded systems | 126 |
 cirosantilli/cpp-cheat | A collection of minimal examples and tutorials for system programming in C, C++, POSIX, and Linux | 614 |
 p-org/p | A programming language and analysis toolset for designing and verifying complex distributed systems. | 3,045 |
 kactus2/kactus2dev | A graphical EDA tool for designing SoCs based on the IP-XACT standard | 194 |
 cosmian/ciphercompute | Enables secure collaborative computation without data sharing or movement. | 26 |