tymonx / logic
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
☆276Updated 5 years ago
Alternatives and similar repositories for logic:
Users that are interested in logic are comparing it to the libraries listed below
- Test suite designed to check compliance with the SystemVerilog standard.☆309Updated this week
- Tool to generate register RTL, models, and docs using SystemRDL or JSpec input☆198Updated 4 months ago
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆382Updated 2 weeks ago
- SystemRDL 2.0 language compiler front-end☆249Updated last week
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆212Updated last week
- This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no…☆405Updated this week
- Bus bridges and other odds and ends☆523Updated last month
- ☆196Updated 2 weeks ago
- Common SystemVerilog components☆587Updated 2 weeks ago
- Kactus2 is a graphical EDA tool based on the IP-XACT standard.☆205Updated last week
- UVM 1.2 port to Python☆250Updated last month
- SystemC/TLM-2.0 Co-simulation framework☆236Updated 4 months ago
- An abstraction library for interfacing EDA tools☆669Updated last week
- BaseJump STL: A Standard Template Library for SystemVerilog☆559Updated last week
- Silicon-validated SoC implementation of the PicoSoc/PicoRV32☆265Updated 4 years ago
- The UVM written in Python☆414Updated 2 months ago
- VeeR EL2 Core☆266Updated this week
- Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.☆460Updated last month
- RISC-V CPU Core☆317Updated 9 months ago
- A simple, basic, formally verified UART controller☆292Updated last year
- Fast Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTLR4☆288Updated last week
- Build Customized FPGA Implementations for Vivado☆305Updated this week
- lowRISC Style Guides☆400Updated 6 months ago
- AXI interface modules for Cocotb☆244Updated last year
- Xilinx Tcl Store☆353Updated this week
- SystemVerilog to Verilog conversion☆601Updated 3 weeks ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆429Updated last week
- Functional Coverage and Constrained Randomization Extensions for Cocotb☆109Updated last year
- RISC-V Debug Support for our PULP RISC-V Cores☆247Updated 4 months ago
- FuseSoC-based SoC for VeeR EH1 and EL2☆308Updated 3 months ago