mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-04 10:20:24 +00:00
Code Activity

More ASCII encoding fixes

Browse source
This commit is contained in:
Clifford Wolf 2015-08-13 09:42:24 +02:00
parent ad8efeb13f
commit c699d7c614
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
manual/APPNOTE_011_Design_Investigation.tex
View file

@ -1061,7 +1061,7 @@ MiniSat: a minimalistic open-source SAT solver.
\url{http://minisat.se/}
\bibitem{tip}
Niklas Een and Niklas Sörensson (2003).
Niklas Een and Niklas S\"orensson (2003).
Temporal Induction by Incremental SAT Solving.
\url{http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8161}