path: root/manual/CHAPTER_Auxprogs.tex
diff options
authorClifford Wolf <>2013-07-20 15:19:12 +0200
committerClifford Wolf <>2013-07-20 15:19:12 +0200
commit61ed6b32d1f5fbfda9c6effdaa678092f8156bfa (patch)
tree3a53692cbd93a09eabeb67eff5e9e4ace5cf1a3e /manual/CHAPTER_Auxprogs.tex
parent3650fd7fbe45a00792770d9ecb9397bc27ea0845 (diff)
Added Yosys Manual
Diffstat (limited to 'manual/CHAPTER_Auxprogs.tex')
1 files changed, 26 insertions, 0 deletions
diff --git a/manual/CHAPTER_Auxprogs.tex b/manual/CHAPTER_Auxprogs.tex
new file mode 100644
index 00000000..eefd3697
--- /dev/null
+++ b/manual/CHAPTER_Auxprogs.tex
@@ -0,0 +1,26 @@
+\chapter{Auxilary Programs}
+Besides the main {\tt yosys} executable, the Yosys distribution contains a set
+of additional helper programs.
+The {\tt yosys-config} tool (an auto-generated shell-script) can be used to
+query compiler options and other information needed for building loadable
+modules for Yosys. FIXME: See Sec.~\ref{chapter:prog} for details.
+The {\tt yosys-filterlib} tool is a small utility that can be used to strip
+or extract information from a Liberty file. See Sec.~\ref{sec:techmap_extern}
+for details.
+The {\tt yosys-svgviewer} tool is a small Qt program that can be used to view
+SVG files. This tool is automatically launched by the {\tt show} command when
+no {\tt -format} and no {\tt -viewer} option is passed to the command. See
+{\tt help show} or Sec.~\ref{cmd:show} for details.