ＫＳＵペディア

抽象度の高い論理記述（情報科学科では Verilog HDLを使用、その他にVHDLがある）から、プリミティブ（論理ゲー ト等）を含むライブラリを用いて、抽象度の低い論理記述を作成するプロセスのこと。