Stav dette: Digitális rendszerek modellezése és szintézise. Gyakorlati RTL-tervezés