// 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; } id='cgit'>
aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1961/repro.vhdl
blob: 4c2f7c2909b445924b76077ac5642b8b4c563e2a (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30