Vissza a könyvhöz— Digitális rendszerek modellezése és szintézise. Gyakorlati RTL-tervezés