WikiDer > Averest
 | Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)
|
Averest a sinxron dasturlash tili va reaktiv tizimlarni aniqlash, tekshirish va amalga oshirish uchun vositalar to'plami. Bunga a kiradi kompilyator sinxron dasturlar uchun, ramziy model tekshiruvchisi va apparat / dasturiy ta'minot sintezi uchun vosita.
U turli xil abstraktsiya darajalarida cheklangan va cheksiz holat tizimlarini modellashtirish va tekshirish uchun ishlatilishi mumkin. Bu apparatni loyihalash, aloqa protokollarini modellashtirish, bir vaqtda dasturlar, dasturiy ta'minot o'rnatilgan tizimlarva boshqalar.
Komponentlar: sinxron dasturlarni tarjima qilish uchun kompilyator o'tish tizimlari, ramziy model tekshiruvchi, apparat / dasturiy ta'minot sintezi uchun vosita. Ular reaktiv tizimlarni loyihalash oqimining katta qismlarini, aniqlashtirishdan tortib, amalga oshirishga qadar qamrab oladi. Asboblar umumiy ramkaning bir qismi bo'lsa-da, ular asosan bir-biridan mustaqil bo'lib, uchinchi tomon vositalari bilan ishlatilishi mumkin.
Shuningdek qarang
Tashqi havolalar
- Averest asboblar qutisi Rasmiy uy sayti
- O'rnatilgan tizimlar guruhi Averest Toolbox-ni ishlab chiqadigan tadqiqot guruhi
 | Bu dasturlash tilibilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |