Repository navigation
v1.0.1-ae (Artifact Evaluation Release)
π Overview
This is the initial release for the Artifact Evaluation (AE) of our paper. This repository provides a complete environment and automated scripts to reproduce the performance
comparison experiments between different verification methodologies.
π Key Features
- Experiment Group A: Comprehensive comparison among
cocotb,python-dpi,python-vpi, andpython-mem_direct. - Experiment Group B: Multilang performance analysis across
raw-verilator,python,cpp,java, andgolang. - Hardware Targets: Supported DUTs include
Rocket (SimTop),coupledL2 (TestTop), andXS (SimTop). - Optimized for AE:
- Dockerized Environment: Fully containerized setup via ghcr.io/makiras/unitychipexp:latest or local Dockerfile for a "one-click" experience.
π Quick Start for Reviewers
- Pull Docker Image: sudo docker pull ghcr.io/makiras/unitychipexp:latest
- Run Experiments:
- Follow the Reproduction Guide in README.md.
- Use ./scripts/run_experiments.py to automate the benchmarking process.
- Analyze Results: Metrics and logs are automatically generated in the results/ directory.
sudo docker pull ghcr.io/makiras/unitychipexp:latest
sudo docker run --rm -it ghcr.io/makiras/unitychipexp:latest
cd /home/xyl/exp
# It may be necessary to adjust the taskset CPU core number.
# Quick Check
./scripts/A_without_XS.sh
./scripts/B_without_XS.sh
# Full Check ( more than 1 days )
# ./scripts/A_with_XS.sh
# ./scripts/B_with_XS.sh