Skip to content

@XS-MLVP Multi Language Verification Platform

Change the repository type filter

All

    Repositories list

    12 repositories

    • xcomm

      Public
      xspcomm encapsulates the DPI-based digital circuit and provides various high-level language operation interfaces.
      verificationmultilanguagechip-design
      C++
      •
      Mulan Permissive Software License, Version 2
      •0•8•0•0•Updated Mar 10, 2025Mar 10, 2025

    • UnityChipForXiangShan

      Public
      Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor
      pythonverificationchipcrowdsourcingxiangshan
      C
      •
      Mulan Permissive Software License, Version 2
      •13•24•24•3•Updated Mar 10, 2025Mar 10, 2025

    • xs-mlvp.github.io

      Public
      Github pages for https://open-verify.cc
      web-server
      HTML
      •0•0•1•0•Updated Mar 9, 2025Mar 9, 2025

    • course

      Public
      Open Verification Platform Teaching Course, aimed at enabling students to master the basic skills of participating in open hardware verification, implemented based on the Docsy theme.
      chip-verification
      HTML
      •
      Apache License 2.0
      •3•2•0•1•Updated Mar 5, 2025Mar 5, 2025

    • picker

      Public
      Pick your favorite language to verify your chip.
      verificationmulti-language-support
      C++
      •
      Mulan Permissive Software License, Version 2
      •5•39•7•1•Updated Mar 5, 2025Mar 5, 2025

    • UnityChipXiangShanRTLs

      Public
      OpenXiangShan RTL exported from chisel
      MIT License
      •0•2•0•0•Updated Mar 4, 2025Mar 4, 2025

    • toffee

      Public
      a framework for building hardware verification platform using software method
      libschip-verification
      Python
      •
      Mulan Permissive Software License, Version 2
      •1•13•1•0•Updated Mar 4, 2025Mar 4, 2025

    • toffee-test

      Public
      pytest plugin for toffee testing
      Python
      •
      Mulan Permissive Software License, Version 2
      •0•3•0•0•Updated Mar 3, 2025Mar 3, 2025

    • XiangShan-doc

      Public
      Documentation for XiangShan
      TeX
      •
      Creative Commons Attribution 4.0 International
      •138•0•0•0•Updated Nov 12, 2024Nov 12, 2024

    • env-xs-ov-00-bpu

      Public
      香山微架构开放验证第一期：昆明湖BPU模块UT测试模块及环境
      examplestest-environment
      SystemVerilog
      •
      Mulan Permissive Software License, Version 2
      •5•26•0•0•Updated Oct 20, 2024Oct 20, 2024

    • Example-NutShellCache

      Public
      开放验证平台NutShell Cache验证案例
      Verilog
      •0•6•0•0•Updated Oct 14, 2024Oct 14, 2024

    • env-xs-ov-00-nutshell-cache

      Public
      Nutshell cache verification with MLVP tools
      MIT License
      •0•0•0•0•Updated May 22, 2024May 22, 2024