Skip to content

@XS-MLVP Multi Language Verification Platform

Change the repository type filter

All

    Repositories list

    12 repositories

    • xs-mlvp.github.io

      Public
      Github pages for https://open-verify.cc
      web-server
      HTML
      •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • toffee

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

    • UnityChipForXiangShan

      Public
      Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor
      pythonverificationchipcrowdsourcingxiangshan
      C
      •
      Mulan Permissive Software License, Version 2
      •4•4•2•0•Updated Dec 2, 2024Dec 2, 2024

    • picker

      Public
      Pick your favorite language to verify your chip.
      verificationmulti-language-support
      C++
      •
      Mulan Permissive Software License, Version 2
      •2•32•3•2•Updated Nov 29, 2024Nov 29, 2024

    • 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
      •1•2•0•1•Updated Nov 29, 2024Nov 29, 2024

    • toffee-test

      Public
      pytest plugin for toffee testing
      Python
      •
      Mulan Permissive Software License, Version 2
      •0•3•0•0•Updated Nov 28, 2024Nov 28, 2024

    • 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•7•0•0•Updated Nov 19, 2024Nov 19, 2024

    • XiangShan-doc

      Public
      Documentation for XiangShan
      TeX
      •
      Creative Commons Attribution 4.0 International
      •136•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
      •4•23•0•0•Updated Oct 20, 2024Oct 20, 2024

    • Example-NutShellCache

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

    • UnityChipXiangShanRTLs

      Public
      OpenXiangShan RTL exported from chisel
      MIT License
      •0•0•0•0•Updated Sep 27, 2024Sep 27, 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