|
1 | 1 | # Docker-BSV-WSL2
|
2 |
| -:whale: Docker for the *Bluespec SystemVerilog (BSV) Tutorial(CN Ver.)* from [](https://github.com/WangXuan95/BSV_Tutorial_cn). |
| 2 | +  |
| 3 | + |
| 4 | +[](https://github.com/WangXuan95/BSV_Tutorial_cn) |
| 5 | + |
| 6 | + Docker Image for Bluespec SystemVerilog environment on WSL2, compatible with *WangXuan95/BSV_Tutorial_cn*. |
| 7 | + |
3 | 8 | > ❗ For educational purposes only.
|
4 | 9 |
|
5 |
| - |
6 | 10 |
|
7 |
| -## Usage |
8 |
| -### GET the image |
9 |
| -#### PULL from Github Packages |
| 11 | +## :rocket:Usage |
| 12 | +### 1️⃣ GET the image |
| 13 | +#### PULL from Github Packages |
| 14 | + |
10 | 15 | ```bash
|
11 |
| -docker pull ghcr.io/hywooo/bsv-wsl2 |
| 16 | +$ docker pull ghcr.io/hywooo/bsv-wsl2 |
12 | 17 | ```
|
13 | 18 | #### or BUILD the image
|
14 | 19 | ```bash
|
15 |
| -$ docker build -f Dockerfile -t hywooo/bsv-wsl2:latest . |
| 20 | +$ docker build -f Dockerfile -t hywooo/bsv-wsl2 . |
| 21 | +``` |
| 22 | +### 2️⃣ ENTER the container |
| 23 | + |
| 24 | +```bash |
| 25 | +$ docker run -it --name="bsv-wsl2" --hostname yourname -v //path/to/wsl2/yourfiles:/path/to/yourfiles hywooo/bsv-wsl2 |
16 | 26 | ```
|
17 |
| -### ENTER the container |
| 27 | +### 3️⃣ CHECK whether the environment is correctly set |
| 28 | + |
18 | 29 | ```bash
|
19 |
| -$ docker run -it --name="bsv-wsl2" --hostname yourname -v //mnt/d/mybsvfile:/mnt/mybsvfile hywooo/bsv-wsl2:latest |
| 30 | +# /data/BSV_Tutorial_cn/src/1.Hello |
| 31 | +$ bsvbuild.sh -bs Hello.bsv |
| 32 | +# -e ./sim.out > /dev/stdout |
| 33 | +# Hello World! |
| 34 | +###### |
| 35 | +$ bsvbuild.sh -vs Hello.bsv |
| 36 | +# Hello World! |
| 37 | +# mkTb.v:41: $finish(1) called at 5 (1s) |
| 38 | +###### |
| 39 | +$ bsc |
| 40 | +# Usage: |
| 41 | +# bsc -help ... |
| 42 | +# ... |
| 43 | +###### |
| 44 | +$ gtkwave |
| 45 | +# GTKWave Analyzer v3.3.116 (w)1999-2023 BSI |
| 46 | +# ... |
20 | 47 | ```
|
21 |
| -## Container structure |
| 48 | +> :sparkles: NOTED: With `VcXsrv` installed, you are enabled to interact with `gtkwave` on Windows w/o any VNCs. |
| 49 | +
|
| 50 | +### 🎉ENJOY! |
| 51 | + |
| 52 | +## 🗂️Container structure |
| 53 | + |
22 | 54 | ```bash
|
23 | 55 | # /BSV_Tutorial_cn location
|
24 |
| -~/usr/work/BSV_Tutorial_cn |
| 56 | +/data/BSV_Tutorial_cn |
25 | 57 | # bsc location (ALREADY IN PATH)
|
26 |
| -~/opt/bsc/bin/bsc |
| 58 | +/opt/bsc/bin/bsc |
27 | 59 | # bsvbuild.sh location (ALREADY IN PATH)
|
28 |
| -~/opt/bsc/bin |
| 60 | +/opt/bsc/bin/bsvbuild.sh |
29 | 61 | ```
|
30 |
| -> :sparkles: NOTED: With `VcXsrv` installed, you are enabled to interact with `gtkwave` on Windows w/o any VNCs. |
| 62 | + |
0 commit comments