llhd
Circuit description language
An intermediate representation for digital circuit descriptions, enabling the creation of custom hardware design tools and simulators.
Low Level Hardware Description — A foundation for building hardware design tools.
396 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 | 140 |
philtomson/rhdl | A Ruby-based language for describing digital hardware components and their behavior. | 14 |
asyncvlsi/act | Asynchronous circuit design and simulation tools using a hardware description language. | 99 |
xilinx/hls | A collection of tools and code for designing and implementing digital circuits using high-level synthesis | 379 |
zauberzeug/lizard | A language to define and control hardware behaviour of microcontrollers using C | 14 |
eholk/harlan | A Scheme-based language for programming GPUs. | 1,185 |
clash-lang/clash-compiler | A compiler that transforms high-level Haskell descriptions into synthesizable hardware descriptions. | 1,442 |
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,203 |
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 | 27 |
masc-ucsc/livehd | A framework for hardware development that optimizes synthesis and simulation processes | 206 |
dan-fritchman/layout21 | A suite of libraries and tools for working with custom integrated circuit layouts | 48 |
nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |