第一天接觸nMigen, 先來安裝　nMigen!

安裝Prerequisites

sudo apt-get install build-essential clang bison flex libreadline-dev \
                     gawk tcl-dev libffi-dev git mercurial graphviz   \
                     xdot pkg-config python python3 libftdi-dev gperf \
                     libboost-program-options-dev autoconf libgmp-dev \
                     cmake

安裝有的沒的必備程式

參考 https://symbiyosys.readthedocs.io/en/latest/install.html

安裝nMigen

pip install git+https://github.com/m-labs/nmigen.git
pip install git+https://github.com/m-labs/nmigen-boards.git

安裝之後就可以開始學習如何使用nMigen製作電路

• Boolector (important!)

# Download and build Boolector
git clone https://github.com/boolector/boolector
cd boolector

# Download and build Lingeling
./contrib/setup-lingeling.sh

# Download and build BTOR2Tools
./contrib/setup-btor2tools.sh

# Build Boolector
./configure.sh && cd build && make

./configure.sh --py3
cd build
make
sudo cp build/bin/{boolector,btor*} /usr/local/bin/
sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/

Value in migen

Const 永不變

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

from nmigen import *
a = Const(10)
a.shape()
>> Shape(width=4, signed=False)
a = Const(10)
a.shape()
>> Shape(width=5, signed=True)
x = Const(3,range(-5,11))
x.shape()
>> Shape(width=5, signed=True)

可以使用Enum 來做常數狀態

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

from enum import Enum, unique

@unique
class Func(Enum):
    NONE = 0
    ADD = 1
    SUB = 2
    MUL = 3
    DIV = 4

...

>>> x = Const(2, Func)
>>> x.shape()
unsigned(3)

>>> x = Value.cast(Func.NONE)
>>> x
const 3'd0

Signal 是 Wire或者reg

1
2
3
4

>>> from nmigen import *
>>> A = Signal(signed(8))
>>> A.shape()
Shape(width=8, signed=True)

1
2
3

>>> x = Signal(range(-5,11))
>>> x.shape()
Shape(width=5, signed=True)

1
2
3
4
5
6

>>> x = Signal(Func)
>>> x
(sig x)
>>> x = Signal(unsigned(16),name="dout")
>>> x.name
'dout'

但是我安裝Miniconda 後整個WSL的ssl都掛了，建議不要安裝

安裝Miniconda

因為我是用WSL，也沒有GUI，就直接用miniconda就好了。

wget https://repo.anaconda.com/miniconda/Miniconda3-py39_4.9.2-Linux-x86_64.sh
chmod +x Miniconda3-py39_4.9.2-Linux-x86_64.sh
./Miniconda3-py39_4.9.2-Linux-x86_64.sh