Skip to content

@antmicro Antmicro

Change the repository type filter

All

    Repositories list

    810 repositories

    • verilator-verification

      Public
      Test dashboard for verification features in Verilator
      SystemVerilog
      •
      Apache License 2.0
      •5•27•0•0•Updated Nov 2, 2025Nov 2, 2025

    • i3c-core

      Public
      SystemVerilog
      •
      Apache License 2.0
      •12•0•0•0•Updated Nov 2, 2025Nov 2, 2025

    • sv-tests

      Public
      Test suite designed to check compliance with the SystemVerilog standard.
      SystemVerilog
      •
      ISC License
      •84•2•0•22•Updated Oct 31, 2025Oct 31, 2025

    • renode

      Public
      Renode - virtual development tool for multinode embedded networks
      RobotFramework
      •
      Other
      •375•36•0•0•Updated Oct 31, 2025Oct 31, 2025

    • rdfm

      Public
      Python
      •
      Apache License 2.0
      •8•36•0•0•Updated Oct 31, 2025Oct 31, 2025

    • zephyr

      Public
      Primary GIT Repository for the Zephyr Project
      C
      •
      Apache License 2.0
      •8.2k•12•1•0•Updated Oct 31, 2025Oct 31, 2025

    • tlib

      Public
      C++
      •
      Other
      •38•21•0•3•Updated Oct 31, 2025Oct 31, 2025

    • docker-image

      Public
      Docker image suitable for development, similar to what we have in CI
      Dockerfile
      •
      Apache License 2.0
      •104•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • dts2repl

      Public
      Python
      •
      Apache License 2.0
      •7•25•3•2•Updated Oct 31, 2025Oct 31, 2025

    • xls

      Public
      XLS: Accelerated HW Synthesis
      C++
      •
      Apache License 2.0
      •213•0•0•1•Updated Oct 31, 2025Oct 31, 2025

    • renode-test-action

      Public
      GitHub Action allowing to run tests in the Renode framework
      Python
      •
      Apache License 2.0
      •6•20•0•1•Updated Oct 31, 2025Oct 31, 2025

    • verilator

      Public
      Verilator open-source SystemVerilog simulator and lint system
      C++
      •
      GNU Lesser General Public License v3.0
      •712•22•0•0•Updated Oct 31, 2025Oct 31, 2025

    • protoplaster

      Public
      Python
      •
      Apache License 2.0
      •2•15•0•0•Updated Oct 31, 2025Oct 31, 2025

    • OpenROAD

      Public
      OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
      Verilog
      •
      BSD 3-Clause "New" or "Revised" License
      •726•2•0•0•Updated Oct 31, 2025Oct 31, 2025

    • renode-dpi-examples

      Public
      CMake
      •
      Apache License 2.0
      •6•5•1•1•Updated Oct 31, 2025Oct 31, 2025

    • kenning-pipeline-manager-backend-communication

      Public
      Python
      •
      Apache License 2.0
      •2•1•0•0•Updated Oct 30, 2025Oct 30, 2025

    • jetson-agx-thor-baseboard

      Public
      Apache License 2.0
      •2•2•0•0•Updated Oct 30, 2025Oct 30, 2025

    • zephelin

      Public
      Python
      •
      Apache License 2.0
      •2•8•0•1•Updated Oct 30, 2025Oct 30, 2025

    • topwrap

      Public
      A Python package for generating HDL wrappers and top modules for HDL sources
      Python
      •
      Apache License 2.0
      •7•38•1•0•Updated Oct 30, 2025Oct 30, 2025

    • zephelin-trace-viewer

      Public
      TypeScript
      •
      Apache License 2.0
      •0•2•0•0•Updated Oct 30, 2025Oct 30, 2025

    • speedscope

      Public
      🔬 A fast, interactive web-based viewer for performance profiles.
      TypeScript
      •
      MIT License
      •294•0•0•0•Updated Oct 30, 2025Oct 30, 2025

    • uvmdvgen

      Public
      SystemVerilog
      •
      Apache License 2.0
      •2•3•0•0•Updated Oct 30, 2025Oct 30, 2025

    • f4pga-arch-defs

      Public
      FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
      Jupyter Notebook
      •
      ISC License
      •115•1•0•10•Updated Oct 30, 2025Oct 30, 2025

    • girdl

      Public
      A plugin for Ghidra for automatic analysis of the binding of individual registers and their layouts.
      renodeghidra
      Java
      •
      Apache License 2.0
      •0•12•0•0•Updated Oct 29, 2025Oct 29, 2025

    • test-colabs

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•1•1•0•Updated Oct 29, 2025Oct 29, 2025

    • rowhammer-tester

      Public
      Python
      •
      Apache License 2.0
      •16•71•18•0•Updated Oct 29, 2025Oct 29, 2025

    • pcbooth

      Public
      Python
      •
      Apache License 2.0
      •0•5•0•0•Updated Oct 29, 2025Oct 29, 2025

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •710•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • verible-indexer

      Public
      Python
      •
      Apache License 2.0
      •3•5•0•0•Updated Oct 29, 2025Oct 29, 2025

    • caliptra-ss

      Public
      HW Design Collateral for Caliptra Subsystem, which comprises Caliptra RoT IP and additional manufacturer controls.
      SystemVerilog
      •
      Apache License 2.0
      •31•0•0•0•Updated Oct 28, 2025Oct 28, 2025