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

A könyv a modern digitális rendszerek tervezésének folyamatával ismerteti meg az Olvasót. A specifikációtól a kész hardverig minden tervezési lépést lefedő áttekintés után az egyes munkafolyamatokat jellemző modellezési megközelítéseket és leíró nyelveket egy-egy külön fejezet mutatja be. A könyv kiemelten foglalkozik az regiszter-transzfer szintű tervezéssel és az ehhez használt modellező nyelvekkel. Ezeket az ún. hardverleíró nyelveket a vonatkozó fejezet az alapvető építőelemek leírásainak bemutatásán keresztül ismerteti meg az Olvasóval. A könyv nagy hangsúlyt fektet az áramkörök időzítési kérdéseire is, beleértve e késleltetések fizikai és kapcsolástechnikai hátterét, valamint azok következményeit a tervezési megfontolásokra vonatkozóan. Fontos szerepet kap a hardverleíró nyelvű modellek automatizált szintézise, amelynek hasznosságát a vonatkozó fejezet a kézi áramkörszintézissel szembeállítva érzékelteti.