Gezel

Gezel — sonli holat mashinasi maʼlumotlar yoʻli (FSMD) modelini amalga oshirishga imkon beruvchi apparat tavsifi tili^[1]. Gezelga kiritilgan vositalar simulyatsiya, kosimulyatsiya va VHDL kodiga kompilyatsiya qilish imkonini beradi. Gezelni C++ da yozilgan kutubxona bloklari orqali kengaytirish mumkin.

Manbalar[tahrir | manbasini tahrirlash]

↑ 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]