Digitális rendszerek modellezése és szintézise
Horváth Péter

A könyv a modern digitális rendszerek tervezésének és megvalósításának folyamatával, az alkalmazott mérnöki módszerekkel és eszközökkel ismerteti meg az Olvasót. A folyamat tárgyalásának középpontjában az egyes tervezési fázisokban létrehozott áramköri modellek, azok részletessége, elvonatkoztatása, a meghozandó műszaki döntések jellege, valamint az ezek rögzítésére használt módszerek állnak. A specifikációtól a kész hardverig minden alapvető tervezési lépést lefedő áttekintés után a legfontosabb munkafolyamatokat, az azokra jellemző optimalizációs kihívásokat, modellezési megközelítéseket, leíró nyelveket, szoftver eszközöket egy-egy külön fejezet mutatja be. E munkafolyamatok közül a könyv kiemelten foglalkozik az regiszter-transzfer szintű tervezéssel és az ehhez használt formális modellező nyelvekkel. Ezeket az ún. hardverleíró nyelveket - jelesül a VHDL-t és a SystemVerilogot - a vonatkozó fejezet a legalapvetőbb áramköri építőelemek javasolt leírási módjainak bemutatásán keresztül ismertető meg az Olvasóval. A felsorolt példák a modellezendő áramköri struktúrák mellette azok VHDL és SystemVerilog reprezentációit is bemutatják, megkönnyítve ezzel a két nyelv összehasonlítását. Az absztrakt, formális nyelvű modellezésen túl a könyv nagy hangsúlyt fektet a digitális áramkörök időzítési kérdéseire, beleértve az áramkörök késleltetéseinek fizikai és kapcsolástechnikai hátterét, valamint azok következményeit a tervezési megfontolásokra vonatkozóan. Ugyancsak fontos szerepet kap a hardverleíró nyelvű modellek automatizált, gépi módszerekkel végzett szintézise, amelynek hasznosságát - sőt, a mai mérnöki gyakorlatban jellemző összetettég mellett annak megkerülhetetlenségét - a vonatkozó fejezet a kvázi-szisztematikus, manuális áramkörszintézissel szembeállítva érzékelteti. Az egyszerű példák mellett az egyes tervezési fázisok és elvonatkoztatási szintek lényegét egy több fejezeten átívelő, összetettebb esettanulmány teszi még szemléletesebbé, amely egy általános célú mikroprocesszor mag tervezésének és optimalizációjának egyes aspektusait mutatja be.