diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-13 09:42:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-13 09:42:24 +0200 |
| commit | c699d7c6145f978b1864c2be25d9f0607099a3e5 (patch) | |
| tree | 9c8431bb9e15948eff7b63a7a1ff20e836fbe07a | |
| parent | ad8efeb13f0786d7dc372e75cb9d493c729ad23d (diff) | |
| download | yosys-c699d7c6145f978b1864c2be25d9f0607099a3e5.tar.gz yosys-c699d7c6145f978b1864c2be25d9f0607099a3e5.tar.bz2 yosys-c699d7c6145f978b1864c2be25d9f0607099a3e5.zip | |
More ASCII encoding fixes
| -rw-r--r-- | CHANGELOG | 2 | ||||
| -rw-r--r-- | manual/APPNOTE_011_Design_Investigation.tex | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -83,7 +83,7 @@ Yosys 0.3.0 .. Yosys 0.4 - There is now a "synth" command with a recommended default script - Many improvements in synthesis of arithmetic functions to gates - Multiplieres and adders with many operands are using carry-save adder trees - - Remaining adders are now implemented using Brent–Kung carry look-ahead adders + - Remaining adders are now implemented using Brent-Kung carry look-ahead adders - Various new high-level optimizations on RTL netlist - Various improvements in FSM optimization - Updated ABC to hg 5b5af75f1dda (from 2014-11-07) diff --git a/manual/APPNOTE_011_Design_Investigation.tex b/manual/APPNOTE_011_Design_Investigation.tex index b9a8237f4..02fb99d36 100644 --- a/manual/APPNOTE_011_Design_Investigation.tex +++ b/manual/APPNOTE_011_Design_Investigation.tex @@ -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} |