Cocotb, GHDL and GTKWave

From Robin

Jump to: navigation, search

Contents

Cocotb og GHDL installasjon, full

OS

Cocotb kjøres best under linux. Hvis du har en windowsmaskin, så må du installere Windows Subsystem for Linux (WSL).

cmd
wsl --install

[WSL|https://techcommunity.microsoft.com/t5/windows-11/how-to-install-the-linux-windows-subsystem-in-windows-11/m-p/2701207]

Python

I utgangspunktet skal python være installert med WS, men hvis det mangler (avinstallert)

sudo pip install pytest

For å bruke uint og int8

pip3 install numpy

Ada og Gnats

Ada og gnat er en forutsetning for å kompilere GHDL

apt-get install gnat 
#evt bruk 'sudo' 
  • last ned og pakk ut

[GNAT|https://sites.radford.edu/~nokie/classes/320/compileInstall.html]

GHDL

#når man lastet ned .tar.gz fil:
tar xf <pakkenavn>

#når man lastet ned .zip fil):
unzip <pakkenavn>
./configure --prefix=/usr/local
make
sudo make install
  • Bygge GHDL fra patchet versjon (fungerer selv om en annen versjon var lastet ned fra før):
    • Laste ned patched versjon fra github (code → download ZIP)
    • Unzip filen og naviger til den iwsl cmd (resten er lik som før)
./configure --prefix=/usr/local
make
sudo make install
  • Nå skal ghdl være installert. Kjør følgende kommando for å verifisere installasjon og riktig versjon: GHDL 3.0.0
ghdl version

Installere Cocotb

pip install cocotb
# evt pip install cocotb[bus]
  • Feilmelding om gammel pip versjon kan forekomme. 22.2.2 kan virke, men den ønsker 22.3.1
    • Evt. Oppgrader pip først
python -m pip install --upgrade pip
  • Verifiser versjon (1.7.2)
cocotb-config -v

  • Sjekke path
echo $PATH
  • Fixe Path (om det ikke er gjort fra før) [1]
    • Skal ikke være nødvendig å gjøre manuelt med Ubuntu 22, men cocotb bruker disse:
export PATH=$PATH:/usr/local/bin
export PATH=$PATH:/usr/bin

Potensielle utfordringer

Gcc feiler fordi zlib.h ikke er installert:

sudo apt-get install zlib1g-dev

Merk: Dette er et bibliotek for å pakke (ut) zipfiler. Hvis du ikke får feilmelding så trenger du ikke installere det.

Installere gtkwave

sudo apt install gtkwave
Personal tools
Front page