Added examples/ top-level directory

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
 
 

README

@@ -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:
 

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
 

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>