通常EDAより抽象化のレベルの高いシステム・レベルから自動設計，検証を行うこと．状態遷移図，フロー・チャートなどからHDL言語を生成するものを指すことが多い．