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 f93d2205..a385a99d 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 85b6eab1..0ce71729 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 2b01a22a..2b01a22a 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 c1fd0e92..c1fd0e92 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 10f05910..10f05910 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 d711af84..d711af84 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 c3b6a610..c3b6a610 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 4541826d..4541826d 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 1b0bf845..1b0bf845 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 673b20d0..673b20d0 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 27278fac..27278fac 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 f2165872..f2165872 100644 --- a/techlibs/cmos/counter.v +++ b/examples/cmos/counter.v diff --git a/techlibs/cmos/counter.ys b/examples/cmos/counter.ys index a784f346..a784f346 100644 --- a/techlibs/cmos/counter.ys +++ b/examples/cmos/counter.ys diff --git a/techlibs/cmos/testbench.sh b/examples/cmos/testbench.sh index 061704b6..061704b6 100644 --- a/techlibs/cmos/testbench.sh +++ b/examples/cmos/testbench.sh diff --git a/techlibs/cmos/testbench.sp b/examples/cmos/testbench.sp index 95d2f67c..95d2f67c 100644 --- a/techlibs/cmos/testbench.sp +++ b/examples/cmos/testbench.sp diff --git a/misc/example.cc b/examples/cxx-api/demomain.cc index 2e35bcd4..a6459330 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> |