国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(3)
1990年代
(9)
2000年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(14)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(14)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 15 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
ワ-クステ-シヨンクラスタによる並列分散型形式的論理
設計検証
ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証
紙
図書
平石, 裕実, 京都産業大学
2000-2002
<Y151-H12680361>
国立国会図書館
件名
設計検証
論理設計 形式的検証 並列処理 分散処理 クラスタシステム
決定グラフに基づく論理シミユレ-シヨン・エンジンの開発
決定グラフに基づく論理シミユレ-シヨン・エンジンの開発
紙
図書
笹尾, 勤, 九州工業大学
2000-2002
<Y151-H12558030>
国立国会図書館
件名
BDD 倫理シミユレ-タ
設計検証
関数分解 再構成可能論理 論理設計 FGPA
有限状態システムの形式的
設計検証
に関する研究
有限状態システムの形式的設計検証に関する研究
紙
図書
平石, 裕実, 京都産業大学
1993-1994
<Y151-H05680285>
国立国会図書館
件名
形式的
設計検証
有限状態システム 時相論理 記号モデル検査 論理
設計検証
プログラムを仕様とするハードウェアの
設計検証
手法
プログラムを仕様とするハードウェアの設計検証手法
紙
図書
木村晋二, 早稲田大学 [著]
[木村晋二]
2002-2004
<Y151-H14580377>
国立国会図書館
件名
設計検証
/ 高位検証 / 再構成可能素子の検証 / テクノロジーマ...
形式的論理
設計検証
に関する研究
形式的論理設計検証に関する研究
紙
図書
平石, 裕美, 京都産業大学
1997-1998
<Y151-H09680348>
国立国会図書館
件名
形式的検証 論理
設計検証
様相論理 並列アルゴリズム 分散アルゴリズム 記号モデル検...
時相論理に基づく計算機援用形式的
設計検証
に関する研究
時相論理に基づく計算機援用形式的設計検証に関する研究
紙
図書
平石, 裕実, 京都産業大学
1991-1992
<Y151-H03650301>
国立国会図書館
件名
論理
設計検証
形式的検証 時相論理 計算機援設計 二分決定グラフ
ASIC設計の上流工程設計支援システムの開発
ASIC設計の上流工程設計支援システムの開発
紙
図書
谷口, 健一, 大阪大学
1993-1994
<Y151-H05558031>
国立国会図書館
件名
同期式順序回路 代数的手法 ASIC 段階的詳細化
設計検証
CAD プレスブルガー文 状態図変形
マイクロプロセツサの形式的論理
設計検証
システムの試作研究
マイクロプロセツサの形式的論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1995-1996
<Y151-H07558155>
国立国会図書館
件名
形式的
設計検証
機能レベル設計 時相論理 第一階述語論理 モデルチエツキン...
ブール関数処理による順序回路の自動合成・
設計検証
システムの試作研究
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1991-1992
<Y151-H03555074>
国立国会図書館
件名
論理合成 論理
設計検証
順序回路 論理関数簡単化 状態割当て 時相論理 論理設計支...
エラー訂正を考慮した効率の良い量子回路設計手法に関する研究 : 平成19年度実績報告書
エラー訂正を考慮した効率の良い量子回路設計手法に関する研究 : 平成19年度実績報告書
デジタル
文書・図像類
山下, 茂
奈良先端科学技術大学院大学
2008
インターネットで読める
全国の図書館
件名
量子計算 量子回路設計
設計検証
エラー訂正
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
紙
図書
矢島, 脩三, 京都大学
1990-1991
<Y151-H02452162>
国立国会図書館
件名
論理関数 二分決定グラフ 論理関数処理 計算機援用設計 記号シミユレーシヨン タイミング検証 論理
設計検証
計算複雑さ
時間記号シミユレーシヨンによる論理
設計検証
システムの試作研究
時間記号シミユレーシヨンによる論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1989-1990
<Y151-H01850074>
国立国会図書館
件名
論理
設計検証
タイミング検証 論理シミユレーシヨン 記号シミユレーシヨン...
集積回路設計における高位レベル情報抽出に関する研究
集積回路設計における高位レベル情報抽出に関する研究
紙
図書
安浦, 寛人, 京都大学
1990-1991
<Y151-H02650264>
国立国会図書館
件名
機能情報抽出 論理合成 組み合わせ論理回路 順序回路 2分決定木 算術演算機能 機能レベルシミユレーシヨンモデル
設計検証
ベクトルプロセツサを用いた高速論理シミユレータと論理
設計検証
システムの試作研究
ベクトルプロセツサを用いた高速論理シミユレータと論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1986-1987
<Y151-S61850062>
国立国会図書館
件名
論理
設計検証
論理シミユレーシヨン ベクトルプロセツサ 時相論理 仕様記...
知的耐故障コンピユータシステムに関する研究
知的耐故障コンピユータシステムに関する研究
紙
図書
樹下, 行三, 広島大学
1985-1987
<Y151-S60302049>
国立国会図書館
件名
耐故障コンピユータ 耐故障システム 知的システム 耐故障設計 検査容易設計 高信頼化設計 故障検査 故障診断
設計検証
フオールトトレランス
検索結果は以上です。
書誌情報を一括出力