ภาษาที่ มีโครงสร้างพิเศษและ บางครั้ง การตรวจสอบรโท ใช้ในการพัฒนา วิเคราะห์ และเอกสารการออกแบบฮาร์ดแวร์