\begin{description}
\item[ATPG] Nástroj na automatické generování testovacích vektorů a následné otestování obvodu na detekovatelné a nedetekovatelné poruchy.
\item[Literál] proměnná nebo její negace.
\item[Term] vyjádření součtu nebo součinu literálů.
\item[P-Term] součinový term neboli součin literálů.
\item[S-Term] součtový term neboli součet literálů.
\item[genpla] 1. generátor zaměřený na výstup ve formátu PLA.
\item[genstate] 2. generátor zaměřený na tvorbu stavových automatů.
\item[gennetwork] 3. generátor zaměřený na tvorbu logických sítí tvořených z kombinačních hradel.
\item[fan-in] počet vstupů hradla
\item[fan-out] počet výstupů hradla

\end{description}
