介紹pyverilog分析工具的使用

pyverilog是一個(gè)非常強(qiáng)大的verilog分析工具，本節(jié)介紹pyverilog的使用

工作久了，還是習(xí)慣linux系統(tǒng)，還是有必要在筆記本上裝個(gè)虛擬機(jī)，這樣try腳本更方便。

1 分享一些虛擬機(jī)軟件

Vmware17版本，15版本貌似和win系統(tǒng)有兼容問(wèn)題，不推薦，

redhat6.8 ios鏡像文件

2安裝python3.10方式1

在安裝python前需要安裝相關(guān)的第三方依賴(lài)庫(kù)：

yum install zlib-devel bzip2-devel opssl-devel ncurses-devel sqlite-devel readline-devel tk-devel gcc libffi-devel

perl腳本執(zhí)行過(guò)程中會(huì)報(bào)相關(guān)cpan庫(kù)找不到，使用以下命令安裝：

wget http://xrl.us/cpanm -O /usr/bin/cpanm --no-check-certificate
chmod +x /usr/bin/cpanm
cpanm IPC::Cmd

安裝openssl包：

yum install gcc libffi-devel zlib* openssl-devel
wget https://www.openssl.org/source/openssl-3.1.1.tar.gz
tar -zxvf openssl-3.1.1.tar.gz
cd openssl-3.1.1/
./config --prefix=/usr/local/openssl shared zl
make & make install
echo "/usr/local/openssl/lib64/" > /etc/ld.so.conf.d/openssl3.0.2.conf

下載Python安裝文件，

wget https://www.python.org/ftp/python/3.10.12/Python-3.10.12.tgz
tar -xvf Python-3.10.12.tgz
cdPython-3.10.12
./configure --prefix=/usr/local/python
make&makeinstall

設(shè)置環(huán)境變量，修改/etc/csh.cshrc文件，增加以下內(nèi)容：

gvim /etc/csh.cshrc
setenv /usr/local/python/bin/:$PATH


setenv LD_LIBRARY_PATH  /usr/local/openssl/lib64/:LD_LIBRARY_PATH
setenv PATH             /usr/local/openssl/bin/:$PATH

期間發(fā)現(xiàn)還依賴(lài)glibc更新版本，下載和安裝方式如下：

wget http://ftp.gnu.org/gnu/glibc/glibc-2.17.tar.gz
tar -xf glibc-2.17.tar.gz
cd glibc-2.17
mkdir build
cd build
../configure --prefix=/usr --disable-profile --enable-add-ons --with-headers=/usr/include --with-binutils=/usr/bin
make -j 8
make install
strings/lib64/libc.so.6|grepGLIBC

大量的第三方軟件需要安裝，這里推薦以下網(wǎng)址，可以找到很多安裝包以及github上的原始安裝包。

https://pkgs.org/
http://ftp.gnu.org/gnu/gcc/
https://gcc.gnu.org/
https://mirror.tuna.tsinghua.edu.cn/gnu/

描述如下：

下載鏈接如下：

其實(shí)rpm可以用兩種方式安裝

rpm -ivh /mnt/hgfs/share_linux/glibc-2.17.src.rpm
yuminstall/mnt/hgfs/share_linux/glibc-2.17.src.rpm

安裝gcc高版本，可以在鏡像中找安裝包

及其關(guān)聯(lián)安裝包，然后./configure make & make install

./configure--disable-multilib
ln-s/usr/local/lib/libmpc.so.3/usr/lib/libmpc.so.3
ln-s/usr/local/lib/libmpfr.so.6/usr/lib/libmpfr.so.6
ln-s/usr/local/lib/libgmp.so.10/usr/lib/libgmp.so.10
make
make install

安裝iverlog

yum install gcc-c++.x86_64
yuminstallglibc-headers
yum install autoconf
yum install flex
yum install bison
wget http://ftp.gnu.org/pub/gnu/gperf/gperf-3.1.tar.gz
unzipgperf-3.1
./configure
make & make install
gitclonehttps://github.com/steveicarus/iverilog.git
unzipiverilog-master.zip
cd iverilog-master
shautoconf.sh
./configure
make
make install
# 在以上安裝過(guò)程中，configure這一步卡了很久，原因是gcc版本太老的緣故，導(dǎo)致交叉編譯始終過(guò)不了
#可以在清華開(kāi)源鏡像網(wǎng)站下載gcc及其相關(guān)包，然后按順序安裝
#根據(jù)config.log中的錯(cuò)誤信息進(jìn)行就debug，方法用對(duì)。
#根據(jù)提示下載安裝mpc-1.3.1/mpfr-4.1.1/gmp-5.01/gcc-7.5.0
./contrib/download_prerequisites

2安裝python3.10方式2

python使用原始tar.gz包安裝很依賴(lài)第三方庫(kù)，非常繁瑣，這里推薦使用anaconda來(lái)安裝python

wget https://repo.anaconda.com/archive/Anaconda3-2023.07-1-Linux-x86_64.sh
shAnaconda3-2023.07-1-Linux-x86_64.sh

3 安裝pyverilog

pip install pyverilog

pyverilog安裝說(shuō)明

https://pypi.org/project/pyverilog/
pip3 install jinja2 pytest pytest-pythonpath

4pyverilog使用

在pyverilog安裝包中給出了一些示例腳本，可以參考。

-rw-r--r--. 1 root root 3153 Dec 23  2022 example_active_analyzer.py
-rw-r--r--. 1 root root 2996 Dec 23  2022 example_active_range.py
-rw-r--r--. 1 root root 2227 Dec 23  2022 example_ast_code.py
-rw-r--r--. 1 root root 1749 Dec 23  2022 example_codegen.py
-rw-r--r--. 1 root root 3648 Dec 23  2022 example_controlflow_analyzer.py
-rw-r--r--. 1 root root 3176 Dec 23  2022 example_dataflow_analyzer.py
-rw-r--r--. 1 root root 3952 Dec 23  2022 example_dataflow_codegen.py
-rw-r--r--. 1 root root 4555 Dec 23  2022 example_graphgen.py
-rw-r--r--. 1 root root  560 Dec 23  2022 example_identifierreplace.py
-rw-r--r--. 1 root root  508 Dec 23  2022 example_identifiervisitor.py
-rw-r--r--. 1 root root 1549 Dec 23  2022 example_lexer.py
-rw-r--r--. 1 root root 3199 Dec 23  2022 example_merge.py
-rw-r--r--. 1 root root 2230 Dec 23  2022 example_optimizer.py
-rw-r--r--. 1 root root 1599 Dec 23  2022 example_parser.py
-rw-r--r--. 1 root root 1441 Dec 23  2022 example_preprocessor.py
-rw-r--r--. 1 root root 4210 Dec 23  2022 example_subset.py
-rw-r--r--. 1 root root 3138 Dec 23  2022 example_walker.py
-rw-r--r--. 1 root root 2130 Dec 23  2022 Makefile

安裝環(huán)境確實(shí)很折騰，本文到此為止，后續(xù)再編寫(xiě)pyverilog使用及解析。

審核編輯：劉清