Một ngôn ngữ với cấu trúc đặc biệt và, đôi khi, xác minh giao thức, được sử dụng để phát triển, phân tích, và một thiết kế phần cứng tài liệu.