Skip to content

@incoresemi InCore Semiconductors Pvt. Ltd.

Change the repository type filter

All

    Repositories list

    15 repositories

    • verilator

      Public
      Verilator open-source SystemVerilog simulator and lint system
      C++
      •
      GNU Lesser General Public License v3.0
      •629•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • riscv-isa-sim

      Public
      Spike, a RISC-V ISA Simulator
      C
      •
      Other
      •882•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • river_core

      Public
      RiVer Core is an open source Python based RISC-V Core Verification framework.
      processorverificationtestsrisc-v
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •8•22•1•1•Updated Oct 29, 2024Oct 29, 2024

    • ELFIO

      Public
      ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library
      C++
      •
      MIT License
      •162•0•0•0•Updated Mar 28, 2024Mar 28, 2024

    • uatg

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •5•3•3•0•Updated Dec 11, 2023Dec 11, 2023

    • river_core_plugins

      Public
      Ruby
      •3•0•1•1•Updated Nov 9, 2023Nov 9, 2023

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •596•0•0•0•Updated Apr 29, 2023Apr 29, 2023

    • chromite_uatg_tests

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •2•3•1•0•Updated Apr 19, 2023Apr 19, 2023

    • cocotb-test

      Public
      Unit testing for cocotb
      Python
      •
      BSD 2-Clause "Simplified" License
      •72•0•0•0•Updated Feb 22, 2023Feb 22, 2023

    • riscv-hyp-tests

      Public
      A bare-metal application to test specific features of the risc-v hypervisor extension
      C
      •
      GNU General Public License v3.0
      •22•0•0•0•Updated Dec 8, 2022Dec 8, 2022

    • riscv-opcodes

      Public
      RISC-V Opcodes
      Python
      •
      Other
      •311•0•0•0•Updated Jun 9, 2022Jun 9, 2022

    • cocotb-coverage

      Public
      Functional Coverage and Constrained Randomization Extensions for Cocotb
      Python
      •
      BSD 2-Clause "Simplified" License
      •16•0•0•0•Updated Aug 20, 2021Aug 20, 2021

    • sail-riscv

      Public
      Sail RISC-V model
      Coq
      •
      Other
      •172•0•0•0•Updated Jul 22, 2021Jul 22, 2021

    • riscv-arch-test

      Public
      Assembly
      •
      Apache License 2.0
      •211•0•0•0•Updated Jul 20, 2021Jul 20, 2021

    • espresso-logic

      Public
      A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
      C
      •
      MIT License
      •38•0•0•0•Updated Apr 11, 2020Apr 11, 2020