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)
147 stars
15 watching
45 forks
Language: C
last commit: almost 2 years agoLinked 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,217 |
 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. | 170 |
 cpitclaudel/alectryon | A tool for processing Coq and Lean 4 code embedded in text documents | 237 |
| cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 351 |
 cmassiot/upipe | A framework for organizing and processing multimedia data in a modular and flexible way | 1 |
 mdolab/openconcept | A toolkit for designing and optimizing aircraft with unconventional propulsion systems | 37 |
| sifive/kami | A Coq-based DSL for designing and verifying hardware systems | 198 |
 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 | 127 |
 cirosantilli/cpp-cheat | A collection of minimal examples and tutorials for system programming in C, C++, POSIX, and Linux | 618 |
 p-org/p | A programming language and analysis toolset for designing and verifying complex distributed systems. | 3,051 |
 kactus2/kactus2dev | A graphical EDA tool designed to aid in the design and integration of systems-on-chip (SoCs) | 194 |
 cosmian/ciphercompute | Enables secure collaborative computation without data sharing or movement. | 26 |