summaryrefslogtreecommitdiff
path: root/tests/vloghtb/test_febe.sh
blob: 482d44d9aa21f3c5f7f46a9c41c79e388e40e259 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash

set -e
source common.sh

f=$1
n=$(basename ${f%.v})

test_febe vlog1 "synth"                   ".v"    "write_verilog" "read_verilog"         "-ignore_div_by_zero" $n $f
test_febe vlog2 "synth -run coarse"       ".v"    "write_verilog" "read_verilog -icells" "-ignore_div_by_zero" $n $f
test_febe blif  "synth; splitnets -ports" ".blif" "write_blif"    "read_blif"            "-ignore_div_by_zero" $n $f

exit 0