Bohus M. - Csopaki Gy. - Filp A. - Hinsenkamp A. -
Máté L.:
Digitális berendezések szintézisének számítógépes
támogatása
A cikkben digitális berendezések felülről lefelé történő rekurzív tervezését támogató eljárásokat, a tervezés során felhasználható, általunk definiált magasszzintű formális nyelvet és az ezen alapuló tervezői programrendszert írjuk le. Kidolgozott módszerünk alapja a tervezendő berendezés működését leíró funkcionális specifikáció és a berendezés tényleges felépítéséhez idomuló strukturális leírás közötti azonosság felismerése, és a két leírási mód egymás után váltogatva történő alkalmazása egyre pontosabb és részletesebb modellek létrehozására. A részletezettség egy adott szintjén a funkcionális és strukturális leírást, valamint az előírt követelmények teljesülését a szimuláció módszerével ellenőrizzük A funkcionális és strukturális modellen történő szimuláció eredményeinek azonosságát számítógépes módszerek segítségével a tervező ellenőrzi