// Note: Set ENABLE_LIBYOSYS=1 in Makefile or Makefile.conf to build libyosys.so // yosys-config --exec --cxx -o demomain --cxxflags --ldflags demomain.cc -lyosys -lstdc++ #include int main() { Yosys::log_streams.push_back(&std::cout); Yosys::log_error_stderr = true; Yosys::yosys_setup(); Yosys::yosys_banner(); Yosys::run_pass("read_verilog example.v"); Yosys::run_pass("synth -noabc"); Yosys::run_pass("clean -purge"); Yosys::run_pass("write_blif example.blif"); Yosys::yosys_shutdown(); return 0; } >
aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/exit01/testsuite.sh
blob: a8a8026f77202c26006c9386075157dc7d698842 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#! /bin/sh

. ../../testenv.sh

for t in exit01 exit02; do
    analyze $t.vhdl tb_$t.vhdl
    elab_simulate tb_$t
    clean

    synth $t.vhdl -e $t > syn_$t.vhdl
    analyze syn_$t.vhdl tb_$t.vhdl
    elab_simulate tb_$t --ieee-asserts=disable-at-0
    clean
done

echo "Test successful"
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-04 20:09:11 +0000