Digitális rendszerek modellezése és szintézise

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 speci?ká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 ?zikai é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ú mikropro