teal 编译
来源：互联网 发布：三星拼接软件 编辑：程序博客网 时间：2024/05/17 00:08
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
等几个例子，通过。
