Gezel

Gezel – bu chekli holat mashinasi + Datapath (FSMD) modelini amalga oshirishga imkon beradigan apparat tavsifi tilidir. Gezelga kiritilgan vositalar simulyatsiya, kosimulyatsiya qilish, shuningdek, VHDL kodiga kompilyatsiya qilish imkonini beradi. Gezelni C++ tilida yozilgan kutubxona bloklari orqali kengaytirish mumkin^[1].

Manbalar

↑ Hansen, Michael R. „Semantics and Verification of a Language for Modelling Hardware Architectures“, . Formal Methods and Hybrid Real-Time Systems Jones: . Springer Berlin Heidelberg, 2007 — 300–319-bet. ISBN 9783540752219.

Ushbu maqola chaladir. Siz uni boyitib, Vikipediyaga yordam berishingiz mumkin.
Bu andozani aniqrogʻiga almashtirish kerak.

[1] Hansen, Michael R. „Semantics and Verification of a Language for Modelling Hardware Architectures“, . Formal Methods and Hybrid Real-Time Systems Jones: . Springer Berlin Heidelberg, 2007 — 300–319-bet. ISBN 9783540752219.

[1]