teal 编译

teal是一个开源的verilog验证库。

 

编译步骤

1. 下载gcc3.4.6。我用了synaptic，下载了gcc3.4和g++3.4。这样比较方便

 

2. 按照README里设置，修改了Makefile，在前面增加了

ARCH = linux
SIMULATOR_HOME = /opt/modeltech

其实这两句也可以export在环境变量里，README里是ARCH=Linux，但是我用了不行，于是用小写，并把目录中的Makefile.Linux改为Makefile.linux

 

3.我用的是Modelsim，使用命令

make SIM=mti

编译通过

teal是一个开源的verilog验证库。

 

编译步骤

1. 下载gcc3.4.6。我用了synaptic，下载了gcc3.4和g++3.4。这样比较方便

 

2. 按照README里设置，修改了Makefile，在前面增加了

ARCH = linux
SIMULATOR_HOME = /opt/modeltech

其实这两句也可以export在环境变量里，README里是ARCH=Linux，但是我用了不行，于是用小写，并把目录中的Makefile.Linux改为Makefile.linux

 

3.我用的是Modelsim，使用命令

make SIM=mti

编译通过，生成libteal.mti.a和libteal.mti.so

make SIM=mti_v_2_0

没通过，可能是路径问题

 

4. 运行test目录里的例子

把libteal.mti.a和libteal.mti.so拷到test目录下

设环境变量

export SIMULATOR_HOME=/opt/modeltech
export LM_LICENSE_FILE=/opt/modeltech/license.dat
export PATH=$PATH:/opt/modeltech/bin

 

然后按README里运行

 ./run -c -mti -t mutex_test
等几个例子，通过。