mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-23 20:58:55 +00:00
Code Activity

Progress in presentation

Browse source
This commit is contained in:
Clifford Wolf 2014-02-20 12:46:29 +01:00
parent 772330608a
commit 98940260e1
10 changed files with 152 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
manual/PRESENTATION_Intro.tex
View file

@ -680,7 +680,7 @@ basic functionality. Extensibility was one of Yosys' design goals.
Because of the framework characterisitcs of Yosys, an increasing number of features
become available in one tool. Yosys not only can be used for circuit synthesis but
also for formal equivialence checking, SAT solving, and for circuit analysis, to
name just a few other application domains. With propritaery software one needs to
name just a few other application domains. With proprietary software one needs to
learn a new tool for each of this applications.
\end{itemize}
\end{frame}