diff options
| -rw-r--r-- | CodingReadme | 4 | ||||
| -rw-r--r-- | README | 2 | ||||
| -rw-r--r-- | examples/basys3/README (renamed from techlibs/xilinx/example_basys3/README) | 3 | ||||
| -rw-r--r-- | examples/basys3/example.v (renamed from techlibs/xilinx/example_basys3/example.v) | 0 | ||||
| -rw-r--r-- | examples/basys3/example.xdc (renamed from techlibs/xilinx/example_basys3/example.xdc) | 0 | ||||
| -rw-r--r-- | examples/basys3/run.sh (renamed from techlibs/xilinx/example_basys3/run.sh) | 0 | ||||
| -rw-r--r-- | examples/basys3/run_prog.tcl (renamed from techlibs/xilinx/example_basys3/run_prog.tcl) | 0 | ||||
| -rw-r--r-- | examples/basys3/run_vivado.tcl (renamed from techlibs/xilinx/example_basys3/run_vivado.tcl) | 0 | ||||
| -rw-r--r-- | examples/basys3/run_yosys.ys (renamed from techlibs/xilinx/example_basys3/run_yosys.ys) | 0 | ||||
| -rw-r--r-- | examples/cmos/cmos_cells.lib (renamed from techlibs/cmos/cmos_cells.lib) | 0 | ||||
| -rw-r--r-- | examples/cmos/cmos_cells.sp (renamed from techlibs/cmos/cmos_cells.sp) | 0 | ||||
| -rw-r--r-- | examples/cmos/cmos_cells.v (renamed from techlibs/cmos/cmos_cells.v) | 0 | ||||
| -rw-r--r-- | examples/cmos/counter.v (renamed from techlibs/cmos/counter.v) | 0 | ||||
| -rw-r--r-- | examples/cmos/counter.ys (renamed from techlibs/cmos/counter.ys) | 0 | ||||
| -rw-r--r-- | examples/cmos/testbench.sh (renamed from techlibs/cmos/testbench.sh) | 0 | ||||
| -rw-r--r-- | examples/cmos/testbench.sp (renamed from techlibs/cmos/testbench.sp) | 0 | ||||
| -rw-r--r-- | examples/cxx-api/demomain.cc (renamed from misc/example.cc) | 2 |
17 files changed, 7 insertions, 4 deletions
diff --git a/CodingReadme b/CodingReadme index f93d22050..a385a99dc 100644 --- a/CodingReadme +++ b/CodingReadme @@ -342,10 +342,10 @@ Then with default config setting: ./yosys -p 'synth; show' tests/simple/fiedler-cooley.v ./yosys -p 'synth_xilinx -top up3down5; show' tests/simple/fiedler-cooley.v - cd ~yosys/techlibs/cmos + cd ~yosys/examples/cmos bash testbench.sh - cd ~yosys/techlibs/xilinx/example_basys3 + cd ~yosys/examples/basys3 bash run.sh @@ -190,7 +190,7 @@ for the given cell library: clean If you do not have a liberty file but want to test this synthesis script, -you can use the file techlibs/cmos/cmos_cells.lib from the yosys sources. +you can use the file examples/cmos/cmos_cells.lib from the yosys sources. Various more complex liberty files (for testing) can be found here: diff --git a/techlibs/xilinx/example_basys3/README b/examples/basys3/README index 85b6eab10..0ce717294 100644 --- a/techlibs/xilinx/example_basys3/README +++ b/examples/basys3/README @@ -2,6 +2,9 @@ A simple example design, based on the Digilent BASYS3 board =========================================================== +This example uses Yosys for synthesis and Xilinx Vivado +for place&route and bit-stream creation. + Running Yosys: yosys run_yosys.ys diff --git a/techlibs/xilinx/example_basys3/example.v b/examples/basys3/example.v index 2b01a22a8..2b01a22a8 100644 --- a/techlibs/xilinx/example_basys3/example.v +++ b/examples/basys3/example.v diff --git a/techlibs/xilinx/example_basys3/example.xdc b/examples/basys3/example.xdc index c1fd0e925..c1fd0e925 100644 --- a/techlibs/xilinx/example_basys3/example.xdc +++ b/examples/basys3/example.xdc diff --git a/techlibs/xilinx/example_basys3/run.sh b/examples/basys3/run.sh index 10f059103..10f059103 100644 --- a/techlibs/xilinx/example_basys3/run.sh +++ b/examples/basys3/run.sh diff --git a/techlibs/xilinx/example_basys3/run_prog.tcl b/examples/basys3/run_prog.tcl index d711af840..d711af840 100644 --- a/techlibs/xilinx/example_basys3/run_prog.tcl +++ b/examples/basys3/run_prog.tcl diff --git a/techlibs/xilinx/example_basys3/run_vivado.tcl b/examples/basys3/run_vivado.tcl index c3b6a610e..c3b6a610e 100644 --- a/techlibs/xilinx/example_basys3/run_vivado.tcl +++ b/examples/basys3/run_vivado.tcl diff --git a/techlibs/xilinx/example_basys3/run_yosys.ys b/examples/basys3/run_yosys.ys index 4541826d3..4541826d3 100644 --- a/techlibs/xilinx/example_basys3/run_yosys.ys +++ b/examples/basys3/run_yosys.ys diff --git a/techlibs/cmos/cmos_cells.lib b/examples/cmos/cmos_cells.lib index 1b0bf8457..1b0bf8457 100644 --- a/techlibs/cmos/cmos_cells.lib +++ b/examples/cmos/cmos_cells.lib diff --git a/techlibs/cmos/cmos_cells.sp b/examples/cmos/cmos_cells.sp index 673b20d08..673b20d08 100644 --- a/techlibs/cmos/cmos_cells.sp +++ b/examples/cmos/cmos_cells.sp diff --git a/techlibs/cmos/cmos_cells.v b/examples/cmos/cmos_cells.v index 27278facb..27278facb 100644 --- a/techlibs/cmos/cmos_cells.v +++ b/examples/cmos/cmos_cells.v diff --git a/techlibs/cmos/counter.v b/examples/cmos/counter.v index f21658724..f21658724 100644 --- a/techlibs/cmos/counter.v +++ b/examples/cmos/counter.v diff --git a/techlibs/cmos/counter.ys b/examples/cmos/counter.ys index a784f3465..a784f3465 100644 --- a/techlibs/cmos/counter.ys +++ b/examples/cmos/counter.ys diff --git a/techlibs/cmos/testbench.sh b/examples/cmos/testbench.sh index 061704b64..061704b64 100644 --- a/techlibs/cmos/testbench.sh +++ b/examples/cmos/testbench.sh diff --git a/techlibs/cmos/testbench.sp b/examples/cmos/testbench.sp index 95d2f67cd..95d2f67cd 100644 --- a/techlibs/cmos/testbench.sp +++ b/examples/cmos/testbench.sp diff --git a/misc/example.cc b/examples/cxx-api/demomain.cc index 2e35bcd46..a64593306 100644 --- a/misc/example.cc +++ b/examples/cxx-api/demomain.cc @@ -1,5 +1,5 @@ // Note: Set ENABLE_LIBYOSYS=1 in Makefile or Makefile.conf to build libyosys.so -// yosys-config --exec --cxx -o example --cxxflags --ldflags example.cc -lyosys -lstdc++ +// yosys-config --exec --cxx -o demomain --cxxflags --ldflags demomain.cc -lyosys -lstdc++ #include <kernel/yosys.h> |