زبان‌ها و علائمی که مستندسازی، طراحی، شبیه‌سازی، و ساخت سیستم‌های کامپیوتری دیجیتالی را آسان می‌کنند.