diff options
| author | KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com> | 2022-11-25 03:56:44 +1300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-24 15:56:44 +0100 |
| commit | b9b5899cceb392c0069345c5b43c37bfe8346116 (patch) | |
| tree | 557cb31d96b2224891c7ed37a9b25d3d8caa7d2e /docs/source/appendix/APPNOTE_011_Design_Investigation.rst | |
| parent | fc2f622a27dbc604a4acce68bea8c20b208c1742 (diff) | |
| download | yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.gz yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.bz2 yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.zip | |
Remove docs dependency on yosys repo (#3558)
* Copies guidelines files into docs/ for website
* Copying manual/CHAPTER_Prog for new docs
* Copying manual/APPNOTE_011... for new docs
Also adding faketime to list of packages for website build.
Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com>
Diffstat (limited to 'docs/source/appendix/APPNOTE_011_Design_Investigation.rst')
| -rw-r--r-- | docs/source/appendix/APPNOTE_011_Design_Investigation.rst | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/source/appendix/APPNOTE_011_Design_Investigation.rst b/docs/source/appendix/APPNOTE_011_Design_Investigation.rst index 004d3cb66..44819e283 100644 --- a/docs/source/appendix/APPNOTE_011_Design_Investigation.rst +++ b/docs/source/appendix/APPNOTE_011_Design_Investigation.rst @@ -140,7 +140,7 @@ behavior of the circuit. Output of ``yosys -p 'proc; opt; show' splice.v`` -.. literalinclude:: ../../../manual/APPNOTE_011_Design_Investigation/splice.v +.. literalinclude:: ../APPNOTE_011_Design_Investigation/splice.v :caption: ``splice.v`` :name: splice_src @@ -355,7 +355,7 @@ Objects can not only be selected by their name but also by other properties. For example ``select t:$add`` will select all cells of type ``$add``. In this case this is also yields the diagram shown in :numref:`seladd`. -.. literalinclude:: ../../../manual/APPNOTE_011_Design_Investigation/foobaraddsub.v +.. literalinclude:: ../APPNOTE_011_Design_Investigation/foobaraddsub.v :caption: Test module for operations on selections :name: foobaraddsub :language: verilog @@ -380,7 +380,7 @@ which is a complete selection of everything in the current module. Operations on selections ------------------------ -.. literalinclude:: ../../../manual/APPNOTE_011_Design_Investigation/sumprod.v +.. literalinclude:: ../APPNOTE_011_Design_Investigation/sumprod.v :caption: Another test module for operations on selections :name: sumprod :language: verilog @@ -487,7 +487,7 @@ features. We synthesize the circuit using ``proc; opt; memory; opt`` and change to the ``memdemo`` module with ``cd memdemo``. If we type ``show`` now we see the diagram shown in :numref:`memdemo_00`. -.. literalinclude:: ../../../manual/APPNOTE_011_Design_Investigation/memdemo.v +.. literalinclude:: ../APPNOTE_011_Design_Investigation/memdemo.v :caption: Demo circuit for demonstrating some advanced Yosys features :name: memdemo_src :language: verilog @@ -685,7 +685,7 @@ commands can be applied. Solving combinatorial SAT problems ---------------------------------- -.. literalinclude:: ../../../manual/APPNOTE_011_Design_Investigation/primetest.v +.. literalinclude:: ../APPNOTE_011_Design_Investigation/primetest.v :language: verilog :caption: A simple miter circuit for testing if a number is prime. But it has a problem (see main text and :numref:`primesat`). |