A logikai áramkörök know-howja, előadása, számítógépes modellek és a modellezési folyamat irányítása

Kivonat: Az előadás bemutatja a logikai rendszer összeállítását és értelmezését. Figyelembe vesszük a modellezési folyamat menedzselését, a logikai rendszerek eseményszimulációjának fő algoritmusait ismertetjük.

Belső (gépi) áramköri modellek

Miután beírta a távirányító külső leírását a számítógépbe. azt a készülék belső ábrázolására fordítják le, amelyet közvetlenül használnak a logikai modellezés folyamatában. A DU - összeállítás és értelmezés belső ábrázolásának két fő formája (modellje) van. Az összeállítás modelljével a DU külső leírása strukturális modell (séma) vagy funkcionális modell formájában a NOR használatával lefordítódik a programba néhány programnyelvben (általában assembler vagy C), amely közvetlenül végrehajtja a modellezési folyamatot. Az értelmező modellben a külső leírás a kapcsolt táblák rendszerébe kerül, amelyet az egyetemes modellezési program használ.

A fordítási modell

A fordítási módszer szimulációs áramkör leírását lefordították egy sorozata programozási nyelv nyilatkozatok vagy gépi utasításokat. Például, szinkron szekvenciális áramkörök, ábrán látható 5.1 lehet fordítani a következő programot alábbi jegyzék „válogatás modell.”

egy összeállítás szimulációs algoritmus [39] látható a pszeudokódokra tőzsdei „összeállítása modellezés”. Fel kell hívnia a figyelmet arra, hogy a rendszert szintenként kell rangsorolni. A modellezés összeállításának fő előnye a nagy sebesség. A hátrányok az, hogy a modellt újra kell fordítani minden egyes alkalommal, amikor a sémát módosítják (a tervezési folyamatban). Itt rendszerint végponttól végpontig (nem eseményalapú) modellezést használunk, amelyben minden egyes iterációnál újraszámítjuk az egyes logikai elemek értékét.

Ábra. 5.1. A fordítási modell sémája

Ezenkívül meg kell szüntetni a szekvenciális áramkörök visszajelzését (ehhez a megfelelő algoritmusokat fejlesztették ki). De ennek a módszernek a fő problémája a logikai elemek késleltetése. Ezért ezt a módszert elsősorban kombinációs és szinkron szekvenciális áramkörök modellezésére használják. Ebben az esetben általában csak a logikát kell ellenőrizni, nem pedig az időbeli kapcsolatokat.

Értelmező modell