WikiDer > Uskunani tekshirish tili
Hardware verification language
 | Bu maqola emas keltirish har qanday manbalar. (2014 yil fevral) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
A apparatni tekshirish tili, yoki HVL, dizaynlarini tekshirish uchun ishlatiladigan dasturlash tili elektron sxemalar yozilgan a apparat tavsiflash tili. HVL odatda a-ning xususiyatlarini o'z ichiga oladi yuqori darajadagi dasturlash tili kabi C ++ yoki Java shuningdek topilganlarga o'xshash osonlikcha bit darajasidagi manipulyatsiya uchun xususiyatlar HDLlar. Ko'pgina HVLlar cheklangan tasodifiy stimullarni ishlab chiqarishni ta'minlaydi va kompleks apparatni tekshirishda yordam beradigan funktsional qamrov tuzilmalarini yaratadi.
SystemVerilog, OpenVera, eva SystemC eng ko'p ishlatiladigan HVLlar. SystemVerilog HDL va HVL konstruktsiyalarini bitta standartga birlashtirishga urinishlar.
Shuningdek qarang
Adabiyotlar
Tashqi havolalar
 | Bu dasturlash tilibilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |