pulp-platform / safety_islandLinks
A reliable, real-time subsystem for the Carfield SoC
☆16Updated last month
Alternatives and similar repositories for safety_island
Users that are interested in safety_island are comparing it to the libraries listed below
Sorting:
- ☆30Updated 2 weeks ago
- A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.☆46Updated 3 years ago
- ☆19Updated this week
- A 32 bit RISCV Based SOC with QSpi , Uart and 8 bit SDRAM Controller tagetted to efebless shuttle program☆21Updated 2 years ago
- HW-SW Co-Simulation Library for AMBA AXI BFM using DPI/VPI☆35Updated 8 months ago
- The ParaNut Processor - Highly Parallel and More Than Just a CPU Core☆36Updated 2 years ago
- DUTH RISC-V Superscalar Microprocessor☆31Updated 10 months ago
- JTAG DPI module for SystemVerilog RTL simulations☆30Updated 9 years ago
- APB UVC ported to Verilator☆11Updated last year
- Synopsys Design compiler, VCS and Tetra-MAX☆19Updated 7 years ago
- A simple, scalable, source-synchronous, all-digital DDR link☆29Updated 2 months ago
- Azadi (Freedom) is a 32-bit RISC-V CPU based System on Chip.☆32Updated 2 years ago
- Andes Vector Extension support added to riscv-dv☆17Updated 5 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆18Updated last year
- SystemC UVM verification environment with Constraint Randomized stimulus, Coverage, Assertions☆21Updated 9 months ago
- APB Logic☆19Updated last week
- ☆40Updated last year
- verification of simple axi-based cache☆18Updated 6 years ago
- PCI Express controller model☆64Updated 2 years ago
- Functional Verification the MMU (Memory Management Unit) of a multiprocessor with Data Cache and Instruction Cache☆13Updated 9 years ago
- General Purpose AXI Direct Memory Access☆58Updated last year
- Multi-Processor System on Chip verified with UVM/OSVVM/FV☆34Updated 3 months ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆17Updated last year
- UVM Python Verification Agents Library☆15Updated 4 years ago
- Hamming ECC Encoder and Decoder to protect memories☆34Updated 7 months ago
- Contains commonly used UVM components (agents, environments and tests).☆30Updated 7 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- Advanced Debug Interface☆15Updated 7 months ago
- Skid Buffer and Pipeline Skid Buffer designed in Verilog/System Verilog.☆22Updated last year
- A Python package for generating HDL wrappers and top modules for HDL sources☆35Updated last week