Skip to content

@ics-jku Institute for Complex Systems (ICS), Johannes Kepler University Linz

Change the repository type filter

All

    Repositories list

    20 repositories

    • GUI-VP_Kit

      Public
      Quick-to-create and easy-to-use platform for experimentation with Linux on the open-source SystemC RISC-V based virtual prototype GUI-VP
      Makefile
      •1•7•0•0•Updated Jan 28, 2025Jan 28, 2025

    • wal

      Public
      WAL enables programmable waveform analysis.
      hardwareverificationedartl
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •19•142•7•0•Updated Jan 24, 2025Jan 24, 2025

    • riscv-vp-plusplus

      Public
      RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute for Complex Systems, Johannes Kepler University, Linz.
      C++
      •
      MIT License
      •7•26•2•1•Updated Jan 16, 2025Jan 16, 2025

    • RVVRadar

      Public
      RVVRadar is a framework to support the programmer over the four major steps of development, verification, measurement and evaluation during the vectorization process of algorithms for the RISC-V Vector extension (RVV).
      C
      •
      Other
      •2•5•0•0•Updated Jan 16, 2025Jan 16, 2025

    • pyinstruction-decoder

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • instruction-decoder

      Public
      Rust
      •
      MIT License
      •1•7•3•0•Updated Dec 10, 2024Dec 10, 2024

    • ttihp-goldcrest

      Public template
      Verilog
      •
      Apache License 2.0
      •16•2•0•0•Updated Nov 1, 2024Nov 1, 2024

    • RVVTS

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•0•0•Updated Oct 17, 2024Oct 17, 2024

    • relation_coverage

      Public
      C
      •0•1•0•0•Updated Oct 11, 2024Oct 11, 2024

    • wal-cache-analysis

      Public
      F*
      •
      MIT License
      •0•2•0•0•Updated Jul 12, 2024Jul 12, 2024

    • .github

      Public
      0•0•0•0•Updated Mar 11, 2024Mar 11, 2024

    • fsyn

      Public
      0•0•0•0•Updated Feb 2, 2024Feb 2, 2024

    • goldcrest-microcode-verification

      Public
      Verification of RISC-V microcode based on SUBLEQ
      smtformal-verificationrisc-vsubleqoisc
      Racket
      •
      MIT License
      •1•9•0•0•Updated Dec 2, 2023Dec 2, 2023

    • GUI-VP

      Public
      GUI-VP is a greatly extended and improved open-source RISC-V VP that enables the simulation of interactive graphical Linux applications.
      C++
      •
      MIT License
      •1•11•0•0•Updated Oct 30, 2023Oct 30, 2023

    • mt-graphlib-framework

      Public
      C
      •0•2•0•0•Updated Oct 30, 2023Oct 30, 2023

    • pylibfst

      Public
      Handle Fast Signal Traces (fst) in Python
      C
      •
      Other
      •3•3•0•0•Updated Oct 17, 2022Oct 17, 2022

    • spinalfuzz

      Public
      Fuzzing for SpinalHDL
      Scala
      •
      Other
      •0•15•0•0•Updated Oct 10, 2022Oct 10, 2022

    • goldcrest-vp

      Public
      A RISC-V VP with SUBLEQ microcode
      risc-vsubleqoiscvirtual-prototyping
      Assembly
      •
      MIT License
      •1•9•0•0•Updated Sep 29, 2022Sep 29, 2022

    • venus

      Public
      RISC-V instruction set simulator built for education
      JavaScript
      •
      MIT License
      •57•5•0•0•Updated Apr 11, 2022Apr 11, 2022

    • epex-formal-rv32-model

      Public
      A RISC-V RV32 model ready for SMT program synthesis.
      verificationprogram-synthesissmt-solverrisc-v
      C
      •
      MIT License
      •1•10•0•0•Updated Jun 23, 2021Jun 23, 2021