llhd
Circuit description language
An intermediate representation language and simulator for digital circuit descriptions, aiming to simplify the development of EDA tools.
Low Level Hardware Description — A foundation for building hardware design tools.
397 stars
26 watching
30 forks
Language: Rust
last commit: over 2 years ago
Linked from 2 awesome lists
Related projects:
Repository | Description | Stars |
---|---|---|
mit-plv/koika | A formal language for designing and verifying rule-based hardware systems | 143 |
philtomson/rhdl | A Ruby language and framework for designing and describing digital hardware systems | 14 |
asyncvlsi/act | Asynchronous circuit design and simulation tools using a hardware description language. | 102 |
xilinx/hls | A collection of tools and code for designing and implementing digital circuits using high-level synthesis | 380 |
zauberzeug/lizard | A language to define and control hardware behaviour of microcontrollers using C | 19 |
eholk/harlan | A Scheme-based language for programming GPUs. | 1,183 |
clash-lang/clash-compiler | A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog. | 1,451 |
cfelton/rhea | A collection of MyHDL cores and tools for complex digital circuit design | 85 |
olofk/fusesoc | A toolset for managing and building digital circuit designs using hardware description languages like Verilog or VHDL | 1,217 |
davidthings/hdelk | A tool for creating and displaying diagrams of digital circuits using a simple JavaScript API. | 73 |
dillonhuff/ahahls | A high-level synthesis tool using LLVM to automatically generate digital circuit designs from C++ code | 118 |
vlsir/vlsir | Defines data schema for chip design using Protocol Buffer schema definition language | 28 |
masc-ucsc/livehd | A compiler infrastructure for hardware design optimization and simulation. | 213 |
dan-fritchman/layout21 | A suite of libraries and tools for working with custom integrated circuit layouts | 49 |
nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |