K dispozici jsem měl několik zip archivů obsahujících benchmarkové sady. Popíšu
nejdůležitější z nich, ostatní jsou buďto jejich variací nebo obsahují jenom velmi
málo benchmarků.


\section{HLSynth89}

{\odstavec
Tato sada benchmarků byla připravena pro 4. mezinárodní workshop o vysokoúrovňové syntéze,
která se konala v říjnu 1989 v Kennebunkportu v USA. Obsahuje benchmarky ve formátech VHDL,
Verilog a Hardware C, některé benchmarky jsou popsány mikroprogramem (ISP popis) nebo slovním popisem.

Obsahuje tyto benchmarky (viz dokumentaci přiloženou v sadě):
}

\begin{itemize}

\item
Procesor mc6502 (ISP popis)

\item
Procesor mc68000 (ISP popis)

\item
Obvod i8251 (ISP popis, Hardware C)

\item
Amiga BLIT chip (Hardware C)

\item
Obvod pro FFT (slovní popis)

\item
Obvod pro extrakci výšky tónu (slovní popis)

\item
Kalmanův filtr (slovní popis)

\item
Obvod pro řízení semaforů (Verilog a VHDL)

\item
Obvod pro nalezení největšího společného dělitele (Verilog a VHDL)

\item
Čítač (Verilog a VHDL)

\item
Prefetch obvod (Verilog a VHDL)

\end{itemize}

\section{HLSynth91}

Sada obsahuje obvody ze sady HLSynth89 doplněné o obvody dodané G. De Michelim ze
Stanfordské univerzity. Přidané obvody jsou ve formě unixových shell skriptů, které
vytvoří benchmarky v jazyce Hardware C. Přidané obvody jsou (viz dokumentaci přiloženou v sadě):

\begin{itemize}

\item
DAIO (Digital Audio Input-Output) fázový dekodér

\item
DAIO přijímač

\item
Obvodu pro výpočty s pevnou řádovou čárkou

\item
DAIO fázový dekodér

\item
Obvod pro korekci chyb na sériové lince

\item
Eliptický filtr 5. řádu

\item
Jednoduchý mikroprocesor typu RISC

\item
Výpočet největšího společného dělitele

\item
Řízení semaforů (Mead/Conway)

\item
Příklad prof. Alice Parkerové

\item
Příklad od firmy Tseng Labs

\end{itemize}

\section{HLSynth92}

Tato sada rozšiřuje popisy obvodů, obsahuje rozsáhlé slovní popisy, signálové grafy,
testovací vektory. Snaží se o větší systematičnost a přidává některé další obvody,
které jsou popsány pomocí VHDL, slovních popisů apod.:

\begin{itemize}

\item
Obvod pro řešení diferenciálních rovnic

\item
Obvod pro čtení čárových kódů

\item
Řadič sedmisegmentových zobrazovacích jednotek pro zobrazování minut a sekund

\item
Kalkulátor adresy s falešnými cestami (FALSEPATH)

\item
FANCY čip vytvořený pro ilustraci procesu RTL optimalizace

\item
Kompletnější popis obvodu pro výpočet největšího společného dělitele

\item
Obvod pro řízení dopravy na dálniční křižovatce

\item
QRS čip pro zpracování ECG dat v medicínských přístrojích

\item
Armstrongův čítač

\item
Sekvencer mikroprogramové adresy AMD2910

\item
Čtyřbitový mikroprocesorový řez AMD2901

\item
Procesor 8251
        
\end{itemize}

\section{ISCAS85}

Sada ISCAS85 je tvořena kombinačními obvody, původně ve zvláštním netlistovém formátu ISCAS85,
které jsou k dispozici ve formátech BENCH a BLIF.

{\odstavec
Seznam obvodů dle \cite{bryan85}:
}

\begin{itemize}

\item C432 - dekodér priority

\item C499, C1355 - obvody pro korekci jedné chyby

\item C1908 - obvod pro korekci jedné chyby a detekci dvou chyb

\item C880, C2670, C3540, C5315, C7552 - aritmeticko logická jednotka a řadič

\item C6288 - 16 bitová násobička
        
\end{itemize}


\section{ISCAS89}

Sada ISCAS89 obsahuje sekvenční obvody ve formátech BENCH a BLIF. Seznam základních obvodů dle \cite{brg89}:

\begin{itemize}

\item
s349 - 4bitová násobička
        
\item
s298, s400, s444, s526 - obvody pro řízení semaforů

\item
s9234, s13207, s15850, s38417, s38584 - modifikované obvody
        
\item
s386, s510, s953, s1494 - řadiče syntetizované z vysokoúrovňových popisů
        
\item
s1238 - kombinační obvod s náhodně vloženými klopnými obvody
        
\item
s208, s420, s838 - digitální obvody pro násobení zlomků, hierarchicky
syntetizované z vysokoúrovňového popisu

\item
s298, s208, s713, s641 a s832 jsou postavené na programovatelných zařízeních
        
\end{itemize}

\section{LGSynth89}

Obsahuje příklady z Mezinárodního workshopu pro logickou syntézu z roku 1989.
Benchmarky z této sady patří do 3 základní kategorií:

\begin{enumerate}

\item
Benchmarky v dvouúrovňové logice ve formátu PLA (ESPRESSO).

\item
Tabulky konečných automatů ve formátu KISS nebo ESPRESSO-MV.

\item
Benchmarky ve víceúrovňové logice ve formátu BLIF nebo Netlist-BLIF.

\end{enumerate}

\section{LGSynth91}

Obsahuje příklady benchmarků použité v souvislosti s Mezinárodním workshopem pro logickou syntézu
v roce 1991. Základní čtyři kategorie jsou:

\begin{enumerate}

\item
Tabulky konečných automatů ve formátu KISS2.

\item
Sekvenční víceúrovňová logika ve formátu BLIF nebo SLIF.

\item
Kombinační víceúrovňová logika ve formátu BLIF nebo SLIF.

\item
Dvouúrovňová logika ve formátu PLA (ESPRESSO) nebo SLIF.

\end{enumerate}

\section{ITC99}

Sada ITC99 obsahuje benchmarky pocházející z různých zdrojů. Protože testovací obvody
pocházející od komerčních subjektů, nejsou volně k dispozici a významnou část sady
ITC99 představují obvody pocházející z Polytechnické univerzity v Turíně, popíšu obvody
pocházející z této univerzity. Popisy těchto testovacích obvodů jsou k dispozici ve formátech
BENCH, BLIF, EDIF a VHDL. Většina těchto obvodů je k dispozici v několika různých implementacích.

{\odstavec
Seznam obvodů z Polytechnické univerzity v Turíně (dle \cite{cor99}):


\begin{itemize}

\item b01 - konečný automat, který porovnává sériové toky dat

\item b02 - konečný automat, který rozpoznává BCD čísla

\item b03 - obsluha požadavků

\item b04 - obvod pro výpočet minima a maxima

\item b05 - obvod pro vyhodnocení obsahu paměti

\item b06 - řadič přerušení

\item b07 - počítá body na úsečce

\item b08 - hledá společné podmnožiny v sekvencích čísel

\item b09 - konvertor z jednoho sériového kódu na jiný

\item b10 - volební systém

\item b11 - obvod pro šifrování řetězce proměnnou šifrou

\item b12 - hra pro jednoho hráče (hádání sekvence)

\item b13 - rozhranní pro meteorologická čidla

\item b14 - podmnožina procesoru Viper

\item b15 - podmnožina procesoru 80386

\item b16 - parametrizovaný, težce inicializovatelný obvod

\item b17 - tři kopie obvodu b15

\item b18, b19 - dvě kopie b14 a dvě kopie b17

\item b20 - kopie b14 a modifikovaná verze b14

\item b21 - dvě kopie b14

\item b22 - kopie b14 a dvě modifikované verze b14

\end{itemize}


% vim:enc=iso8859-2:fenc=iso8859-2:syntax=tex:
