🎯 Docker-BSV-WSL2

Docker Image for Bluespec SystemVerilog environment on WSL2, compatible with WangXuan95/BSV_Tutorial_cn.

❗ For educational purposes only.

🚀 Usage

1️⃣ GET the image

PULL from Docker Hub

$ docker pull hywooo/bsv-wsl2:latest

or BUILD the image

$ docker build -f Dockerfile -t hywooo/bsv-wsl2:latest .

2️⃣ ENTER the container

$ docker run -it --name="bsv-wsl2" --hostname yourname -v /path/to/wsl2/yourfiles:/path/to/yourfiles hywooo/bsv-wsl2:latest

3️⃣ CHECK whether the environment is correctly set

# /data/BSV_Tutorial_cn/src/1.Hello
$ bsvbuild.sh -bs Hello.bsv 
# -e ./sim.out > /dev/stdout 
# Hello World!
###############
### OR 
$ bsvbuild.sh -vs Hello.bsv 
# Hello World!
# mkTb.v:41: $finish(1) called at 5 (1s) 
###############
$ bsc
# Usage:
#   bsc -help  ...
# ...
###############
$ gtkwave
# GTKWave Analyzer v3.3.116 (w)1999-2023 BSI
# ...

💡 NOTED: With VcXsrv installed, you are enabled to interact with gtkwave on Windows w/o any VNCs.

🎉 ENJOY!

🗂️ Container structure

# /BSV_Tutorial_cn location
/data/BSV_Tutorial_cn
# bsc location (ALREADY IN PATH)
/opt/bsc/bin/bsc
# bsvbuild.sh location (ALREADY IN PATH)
/opt/bsc/bin/bsvbuild.sh