verik
by frwang96
Verik toolchain
AI summary
HDL compiler
A toolchain for designing and verifying digital integrated circuits using Kotlin.
- stars
- 41
- forks
- 2
- watching
- 3
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
HDL compiler
A Rust-based HDL compiler targeting FPGA design and development
HDL toolset
A suite of tools and plugins for HDL developers to simplify development, testing, and maintenance of digital circuits.
HDl tool
A package manager and development tool for Hardware Description Languages (HDL) used to manage digital designs and intellectual property.
Compiler
A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog.
Circuit diagram tool
A tool for creating and displaying diagrams of digital circuits using a simple JavaScript API.
HDL library
A hardware description library for analog and custom integrated circuits using Python
Circuit synthesis toolset
A set of build rules and tools for synthesizing digital circuit designs from hardware description languages (HDLs) into usable ASIC chips.
Vulkan wrapper
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.
VHDL/Verilog parser
An ANTLR4-based parser and code generator for SystemVerilog/VHDL
Memory compiler
A compiler for designing and generating layouts of memory compilers using DFF/Latch cells
HDL library
A comprehensive hardware abstraction layer providing tools and components for designing and testing digital systems on FPGAs.
HDL library
A Haskell library for creating hardware descriptions using a functional programming style
Haskell compiler
Compiles Haskell to WebAssembly for use in web applications
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions verik.
