Surelog is a Pre-processor, Parser, and UHDM Compiler that supports SystemVerilog 2017. It can be used as a front end for syntax checking, simulation, synthesis, and formal verification tools.
The official website installation instructions are based on Ubuntu, https://github.com/alainmarcel/Surelog/blob/master/INSTALL.md, but the names of the dependencies of Centos and Ubuntu are different. The following is my installation process on Centos8 Record, I hope it is helpful to fans.
wget https://github.com/Kitware/CMake/releases/download/v3.18.0/cmake-3.18.0.tar.gz
tar -zxvf cmake-3.18.0.tar.gz
cd cmake-3.18.0./bootstrap
make
make install
Ref:
https://cmake.org/download/#latest
https://linux4one.com/how-to-install-cmake-on-centos-8
yum install pkgconf-pkg-config
yum install swig
yum install libuuid-devel
dnf install https://extras.getpagespeed.com/release-el8-latest.rpm
dnf install gperftools-devel
yum install java-11-openjdk-devel
Ref:
https://www.oracle.com/java/technologies/javase-jre8-downloads.html
https://phoenixnap.com/kb/how-to-install-java-centos-8
yum install tcl
yum install python3
yum install python3-devel
git clone https://github.com/alainmarcel/Surelog
cd Surelog
git submodule update --init --recursive
make
make install
surelog -help
cd build
surelog -writepp -parse ../tests/UnitElabBlock/top.v
Recommended Posts