لغات برمجة الكيان الصلب عالية المستوى

1-لغة JHDL
2-البيئة Catapult
3-البيئة Impulse -C
4-البيئة Handel-C
5-اللغة SAFL
6-البيئة DIME-C
7-اللغة Spec-C
8-اللغة System-C