# slide

**Repository Path**: cx_software/slide

## Basic Information

- **Project Name**: slide
- **Description**: SLIDE: A Software Suite for RISC-V Memory Model
- **Primary Language**: Python
- **License**: MIT
- **Default Branch**: dev
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 1
- **Created**: 2023-11-07
- **Last Updated**: 2024-10-10

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

![](./docs/slide.png)
# SLIDE: A Software Suite for RISC-V Memory Model

SLIDE provides testing, synthesis and optimization tools for RISC-V memory model (RVWMO).

# Requirements

## Python Packages

- Python >= 3.11.5 
- pytest >= 7.1.2 
- z3-solver >= 4.12.1 
- toolz >= 0.12.0 
- networkx >= 2.8.4 
- antlr4-python3-runtime == 4.12.0 
- pygraphviz >= 1.9 
- graphviz >= 0.20.1 
- cvc5 == 1.0.8 
- pandas >= 2.1.1

You could run `pip install -r requirement.txt` to configure necessary packages by one click. If pip fails in the process, use conda instead.

It takes too long, try to change your source by `pip install -r requirements.txt -i https://pypi.tuna.tsinghua.edu.cn/simple`
## HerdTools
http://diy.inria.fr/

# Quick Start

# Contributors

- Xuezheng (xuezhengxu@126.com)
- Deheng (dehengyang@qq.com)