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: almost 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 | An integrated development environment plugin for HDL designers and developers. | 571 |
 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 compiler that converts Haskell code into hardware description languages (VHDL, Verilog, SystemVerilog) for digital circuit design and synthesis. | 1,442 |
 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. | 119 |
 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. | 131 |
 nic30/hdlconvertor | An ANTLR4-based parser and code generator for SystemVerilog/VHDL | 281 |
 aucohl/dffram | A compiler for designing and generating layouts of memory compilers using DFF/Latch cells | 133 |
| nic30/hwtlib | A comprehensive hardware abstraction layer providing tools and components for designing and testing digital systems on FPGAs. | 34 |
 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 |