abc
Digital circuit analyzer
A tool for sequential logic synthesis and formal verification of digital circuits
ABC: System for Sequential Logic Synthesis and Formal Verification
907 stars
39 watching
592 forks
Language: C
last commit: 9 days ago
Linked from 1 awesome list
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
 cambridgehackers/fpgamake | Generates Makefiles to synthesize and route digital circuits from Verilog designs using Vivado | 92 |
 bedrocksystems/brick | Formalization of C++ logic for verifying concurrent programming | 69 |
 haskell/stm | A Haskell implementation of software transactional memory for concurrent programming | 98 |
 draperlaboratory/llvm-cbe | A resurrected and improved implementation of the LLVM C Backend in Groff, enabling compilation of programs written in various programming languages to native machine code. | 127 |
 mit-plv/bedrock | Automated verification of higher-order programs using separation logic | 57 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 rncbc/synthv1 | A polyphonic synthesizer with 4 oscillators and stereo FX, supporting JACK, ALSA, LV2, and OSC. | 40 |
 asyncvlsi/act | Asynchronous circuit design and simulation tools using a hardware description language. | 99 |
 clash-lang/clash-compiler | A compiler that transforms high-level Haskell descriptions into synthesizable hardware descriptions. | 1,442 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,166 |
 amsynth/amsynth | An analog modelling software synthesizer with features like oscillators, envelopes and effects | 440 |
 b-con/crypto-algorithms | Public domain implementations of basic cryptography algorithms for educational and pragmatic purposes. | 1,832 |
 imdea-software/fcsl-pcm | Provides formalisation of Partial Commutative Monoids (PCMs) for verification of pointer-manipulating sequential and concurrent programs. | 26 |