フォーマル検証

【図1　LSI設計工程と検証手段】出典はNECエレクトロニクス。
【図1　LSI設計工程と検証手段】出典はNECエレクトロニクス。

カーソルキー（←／→）でも操作できます