言語記述＠システム

ハードウェア記述言語　－＞　合成ツール　－＞　ハードウェア

ソフトウェア記述言語　－＞　合成ツール　－＞　ソフトウェア

システム記述言語　－＞　合成ツール　－＞　システム

記述の正当性を検証ツールで確認する。