verik
HDL compiler
A toolchain for designing and verifying digital integrated circuits using Kotlin.
Verik toolchain
41 stars
3 watching
2 forks
Language: Kotlin
last commit: about 2 years ago
Linked from 2 awesome lists
aolofsson/awesome-opensource-hardware
drom/awesome-hdlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tcr/hoodlum | A Rust-based HDL compiler targeting FPGA design and development | 97 |
 terostechnology/vscode-teroshdl | A suite of tools and plugins for HDL developers to simplify development, testing, and maintenance of digital circuits. | 580 |
 chaseruskin/legohdl | A package manager and development tool for Hardware Description Languages (HDL) used to manage digital designs and intellectual property. | 14 |
 clash-lang/clash-compiler | A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog. | 1,451 |
 davidthings/hdelk | A tool for creating and displaying diagrams of digital circuits using a simple JavaScript API. | 73 |
 dan-fritchman/hdl21 | A hardware description library for analog and custom integrated circuits using Python | 69 |
 hdl/bazel_rules_hdl | A set of build rules and tools for synthesizing digital circuit designs from hardware description languages (HDLs) into usable ASIC chips. | 121 |
 kotlin-graphics/vkk | A Kotlin wrapper library for the Vulkan C API that adds features like type safety and exceptions to improve developers' experience without significant CPU runtime cost. | 134 |
 nic30/hdlconvertor | An ANTLR4-based parser and code generator for SystemVerilog/VHDL | 284 |
 aucohl/dffram | A compiler for designing and generating layouts of memory compilers using DFF/Latch cells | 137 |
| nic30/hwtlib | A comprehensive hardware abstraction layer providing tools and components for designing and testing digital systems on FPGAs. | 35 |
 blarney-lang/blarney | A Haskell library for creating hardware descriptions using a functional programming style | 98 |
 dfinity-side-projects/dhc | Compiles Haskell to WebAssembly for use in web applications | 166 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 ymherklotz/vericert | A tool for formally verifying high-level synthesis of digital circuits | 88 |