BOHUS MIKLÓS:
VLSI áramkörök szimulációs problémái
A cikk összefoglalja a VLSI áramkörök szimulációjával szemben támasztott legfontosabb követelményeket. Definiálja a hardware leíró nyelv főbb jellemzőit. Meghatározza az összetartozó bemeneti és kimeneti változások halmazaként specifikálható leírási mód alaptulajdonságait és ezen jelsorozatokon alapuló szimulációs vizsgálat alkalmazhatósági feltóteleit. Végezetül összefoglalja a publikált szimulációs nyelvek és eljárások főbb jellemzőit.