マイクロプロセッサの形式的論理設計検証システムの試作研究

著者

• 矢島, 脩三 ヤジマ, シュウゾウ

書誌事項

マイクロプロセッサの形式的論理設計検証システムの試作研究

矢島脩三研究代表

[矢島脩三], 1997.3

タイトル別名

平成7年度〜平成8年度科学研究費補助金基盤研究(A)(2)研究成果報告書(研究課題番号:07558155)

タイトル読み

マイクロ プロセッサ ノ ケイシキテキ ロンリ セッケイ ケンショウ システム ノ シサク ケンキュウ

詳細情報

• NII書誌ID(NCID): BA39366398
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [京都]
• ページ数/冊数: 87p