SFL言語 (Structured Function description Language) は,ハードウェアの動作を記述する言語です.本章では SFL言語の概念,形式,意味を説明します.
SFL言語は,すでに存在する設計様式を記述できるようにすることではなく,より効率的な設計手法を提案・提供することをねらいとして設計されています.SFL言語の仕様は,設計の効率化のための記述性の向上と自動化範囲の拡大を両立できるよう処理系(シミュレータ,合成系,テスト生成系)との関係を十分に検討したうえで決定されたものです.