الأنظمة المضمنة, البرمجة المتوازية, تصميم الدوائر المتكاملة, لغات وصف الأجهزة, هندسة الحاسوبفيريلوغ سي إس بي (VerilogCSP)