yosys/tests/vloghtb/test_febe.sh

14 lines
433 B
Bash

#!/usr/bin/env 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