大規模論理回路に適した構造化論理設計と論理検証システムの試作研究

著者

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

書誌事項

大規模論理回路に適した構造化論理設計と論理検証システムの試作研究

矢島脩三研究代表

[矢島脩三], [1983.3]

タイトル別名

昭和57年度文部省科学研究費補助金試験研究(2)研究成果報告書

文部省科学研究費補助金試験研究(2)研究成果報告書 : 昭和57年度

タイトル読み

ダイキボ ロンリ カイロ ニ テキシタ コウゾウカ ロンリ セッケイ ト ロンリ ケンショウ システム ノ シサク ケンキュウ

注記

課題番号: 56850100

研究代表者: 矢島脩三(京都大学工学部教授)

昭和57年度文部省科学研究費補助金試験研究(2)研究成果報告書

詳細情報

• NII書誌ID(NCID): BA89826514
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [京都]
• ページ数/冊数: 37p
• 大きさ: 26cm