1996年1月 論理シミュレーションに基づくプロセッサの自動検証 電子情報通信学会技術研究報告 森広,米田 巻 号 FTS-96 開始ページ 25 終了ページ 32 記述言語 日本語 掲載種別 研究発表ペーパー・要旨(国際会議) エクスポート BibTeX RIS