riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

fixed typo

This commit is contained in:
Clifford Wolf 2014-06-21 21:13:18 +02:00
parent b18fa95d2f
commit 072604f30f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manual/PRESENTATION_ExOth.tex
View File

@ -161,7 +161,7 @@ SAT proof finished - no model found: SUCCESS!
\begin{frame}[t, fragile]{Example: Symbolic Model Checking (1/2)} \begin{frame}[t, fragile]{Example: Symbolic Model Checking (1/2)}
\small \small
The following AXI4 Stream Master has a bug. But the bug is not exposed if the The following AXI4 Stream Master has a bug. But the bug is not exposed if the
slave keeps {\tt tready} asserted all the time. (Somtheing a test bench might do.) slave keeps {\tt tready} asserted all the time. (Something a test bench might do.)
\medskip \medskip
Symbolic Model Checking can be used to expose the bug and find a sequence Symbolic Model Checking can be used to expose the bug and find a sequence