「IC設計プロセスにおける高度に抽象化されたシミュレーションモデルの一つ。機能ブロックの動作を、入出力端子間での読取り/書込み処理(トランザクション)の細かさによって表現し、RTLのシミュレーションよりも迅速に実行できるようになっています。」