% $Id: analyza.tex,v 1.1 2007/01/18 22:20:29 jarda Exp $

{\odstavec
V této kapitole se zmíním o základních cílech databáze, podrobnější informace o zvolených
přístupech a řešeních se objeví v dalším textu

Tato práce má několik dílčích cílů:
}

\begin{itemize}

\item
Analyzovat dostupné zkušební obvody pro testování algoritmů pro logickou syntézu.

\item
Analyzovat jejich dostupné specifikace a určit informace, které lze zjistit ze
zdrojového souboru nebo analýzou obvodu.

\item
Vytvořit program pro analýzu některých formátů zkušebních obvodů.

\item
Vytvořit interaktivní databázi benchmarků.

\end{itemize}

\section{Dostupné zkušební obvody pro logickou syntézu}

Obvody, které jsem měl k dispozici, se nacházejí v rozličných sadách benchmarků,
které mi poskytl vedoucí práce. Zahrnují širokou škálu obvodů kombinačních i sekvenčních,
mají různou složitost i způsob popisu. O některých zkušebních obvodech se zmíním
v kapitole o sadách benchmarků.

\section{Informace, které lze zjistit ze zkušebních obvodů}

V závislosti na typu specifikace souboru lze zjistit nejrůznější typy parametrů. Konkrétnější
popisy uvedu v kapitole o formátech benchmarků. Některé benchmarkové soubory obsahují
komentáře, které mohou obsahovat užitečné informace o benchmarku, tyto komentáře ovšem,
pro jejich nejednoznačnost z hlediska syntaxe, nebudu uvažovat.

\section{Zpracování aplikační části}

Vytvořené programy by měly být pokud možno provozovatelné na různých platformách a
důraz by měl být kladen i na čitelnost jejich kódu a snadnou rozšiřitelnost a udržovatelnost.

\section{Testování aplikační části}

Je třeba vyvinout sadu testovacích scénářů, které ověří bezchybný chod programů a 
jejich správnou instalaci a konfiguraci.

\section{Dokumentace aplikační části}

Správce aplikace potřebuje pro usnadnění instalace mít k dispozici instalační příručku,
uživateli pro základní orientaci poslouží uživatelská příručka.

\section{Použitý jazyk aplikační části}

Ve všech programech budou, z důvodu čitelnosti lidmi pocházejícími z různých zemí,
používány anglické identifikátory i komentáře. Toto je zásada, která se v praxi dobře
osvědčila a vzhledem k mobilizaci pracovní síly a otevírání naší země světu její
význam dále poroste. Po domluvě se zadavatelem bude i uživatelské rozhraní programů
v anglickém jazyce.

\section{Program pro analýzu benchmarků}

Tento program má za úkol extrahovat informace z benchmarkového souboru a zobrazit je,
případně je dále zpracovat. Program musí podporovat základní typy formátů benchmarků -
podle dohody se zadavatelem práce se bude jednat o formáty PLA, KISS2, BENCH, BLIF
a SLIF. 

\section{Interaktivní databáze benchmarků}

Databáze benchmarků musí umožňovat zadávat a vyhledávat informace o dostupných benchmarcích.
Benchmarky vyhledané podle zadaných kritérií musí databáze umožňovat stáhnout jednotlivě
nebo agregovaně. K databázi je třeba definovat i přístupovou politiku.

{\odstavec
Z povahy zadání plyne, že aplikace musí být dynamická, interagovat s uživatelem a poskytovat
mu v každé chvíli pokud možno vyčerpávající relevantní informace.
}


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