SZOBONYA LÁSZLÓ:
Új állapotleírás a logikai szimulációban
A logikai szimuláció programok a magas követelményeket kielégítő nagybonyolultságú digitális áramkörök kifejlesztését támogató számítógépes tervezőrendszerek alapvető alkotói. Az alkalmazott modellezés megfelelő absztraháltsági fokának kijelölése alapvetően meghatározza a szimuláció hatékonyságát. Jelen munka egy négyállapotú rendszermodellen alapuló, logikai hálózatok kapuszintű szimulációját végző program kifejlesztéséről számol be. Sor kerül a modellezés és a szimulációs algoritmus bemutatására, valamint próbafuttatások eredményeinek ismertetésére.