コベリフィケーション
出典: くみこみックス
コベリフィケーション【Hardware Software Co-verification】
コデザインのフローにおけるハードウェアとソフトウェアの協調検証作業が，コベリフィケーションである．
プロセッサと周辺論理（ASICやROM，RAMなどのハード・ワイヤード論理）のシミュレーション・モデルを用意し，これらとソフトウェア・プログラムを接続して，システム全体を一括検証する．市販ツールとしては，米国Mentor Graphics社のSeamlessCVE，横河電機の仮想ICEなどがある．
【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．
