国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(4)
1990年代
(19)
2000年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(24)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(24)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 24 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
仮想的配線を用いたプログラム可能論理素子とその論理合成法に関する研究
仮想的配線を用いたプログラム可能論理素子とその論理合成法に関する研究
紙
図書
笹尾勤, 九州工業大学 [著]
[笹尾勤]
2002-2004
<Y151-H14380146>
国立国会図書館
件名
FPGA / メモリ / 再構成可能倫理 / BDD / 関数分解 /
論理設計
超高性能VLSIの
論理設計
とテスト方式に関する研究
超高性能VLSIの論理設計とテスト方式に関する研究
紙
図書
笹尾, 勤, 九州工業大学
1999-2001
<Y151-H11694168>
国立国会図書館
件名
VLSI テスト生成 故障検査 遅延故障 BDD
論理設計
大規模論理関数の分解に関する研究
大規模論理関数の分解に関する研究
紙
図書
笹尾, 勤, 九州工業大学
1998-2000
<Y151-H10680360>
国立国会図書館
件名
関数分解 論理関数
論理設計
BDD テスト生成
ワ-クステ-シヨンクラスタによる並列分散型形式的
論理設計
検証
ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証
紙
図書
平石, 裕実, 京都産業大学
2000-2002
<Y151-H12680361>
国立国会図書館
件名
設計検証
論理設計
形式的検証 並列処理 分散処理 クラスタシステム
決定グラフに基づく論理シミユレ-シヨン・エンジンの開発
決定グラフに基づく論理シミユレ-シヨン・エンジンの開発
紙
図書
笹尾, 勤, 九州工業大学
2000-2002
<Y151-H12558030>
国立国会図書館
件名
BDD 倫理シミユレ-タ 設計検証 関数分解 再構成可能論理
論理設計
FGPA
ベンチマーキングのための不自然でないランダム論理回路の高速大量生成
ベンチマーキングのための不自然でないランダム論理回路の高速大量生成
紙
図書
岩間, 一雄, 京都大学
1996-1997
<Y151-H08558024>
国立国会図書館
件名
論理設計
CAD 最適化 ベンチマーク ランダム生成
非同期式複合VLSIシステムの設計支援技術に関する研究
非同期式複合VLSIシステムの設計支援技術に関する研究
紙
図書
南谷, 崇, 東京大学
1997-1999
<Y151-H09480049>
国立国会図書館
件名
非同期式回路 VLSI設計 マイクロプロセツサ アーキテクチヤ
論理設計
三分岐判定図を用いた論理式の表現と処理に関する研究
三分岐判定図を用いた論理式の表現と処理に関する研究
紙
図書
笹尾, 勤, 九州工業大学
1993-1994
<Y151-H05680279>
国立国会図書館
件名
論理設計
論理合成 LSIのCAD 多段論理回路 BDD TDD
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1991-1992
<Y151-H03555074>
国立国会図書館
件名
論理合成
論理設計
検証 順序回路 論理関数簡単化 状態割当て 時相論理
論理設計
支援
3段論理回路の構成法に関する研究
3段論理回路の構成法に関する研究
紙
図書
笹尾, 勤, 九州工業大学
1996-1997
<Y151-H08680374>
国立国会図書館
件名
論理設計
論理合成 関数分解 多段論理回路 EXOR 検査容易化設計...
EXOR論理ゲートを用いた論理合成システムの開発
EXOR論理ゲートを用いた論理合成システムの開発
紙
図書
笹尾, 勤, 九州工業大学
1993-1995
<Y151-H05558032>
国立国会図書館
件名
論理設計
論理合成 LSIのCAD 多段論理回路 算術演算回路 EX...
形式的
論理設計
検証に関する研究
形式的論理設計検証に関する研究
紙
図書
平石, 裕美, 京都産業大学
1997-1998
<Y151-H09680348>
国立国会図書館
件名
形式的検証
論理設計
検証 様相論理 並列アルゴリズム 分散アルゴリズム 記号モデ...
正則時相論理に基づく形式的
論理設計
検証に関する研究
正則時相論理に基づく形式的論理設計検証に関する研究
紙
図書
平石, 裕実, 京都大学
1989-1990
<Y151-H01550285>
国立国会図書館
件名
時相論理 形式的検証
論理設計
モデル検査
EXORゲートを用いた論理回路の構成に関する研究
EXORゲートを用いた論理回路の構成に関する研究
紙
図書
笹尾, 勤, 九州工業大学
1990-1991
<Y151-H02805046>
国立国会図書館
件名
論理設計
EXOR PLA 算術回路 LSIのCAD 多段論理回路 ...
有限状態システムの形式的設計検証に関する研究
有限状態システムの形式的設計検証に関する研究
紙
図書
平石, 裕実, 京都産業大学
1993-1994
<Y151-H05680285>
国立国会図書館
件名
形式的設計検証 有限状態システム 時相論理 記号モデル検査
論理設計
検証
時間記号シミユレーシヨンによる
論理設計
検証システムの試作研究
時間記号シミユレーシヨンによる論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1989-1990
<Y151-H01850074>
国立国会図書館
件名
論理設計
検証 タイミング検証 論理シミユレーシヨン 記号シミユレーシヨン
論理設計
非同期式順序回路 ハザード
時相論理に基づく計算機援用形式的設計検証に関する研究
時相論理に基づく計算機援用形式的設計検証に関する研究
紙
図書
平石, 裕実, 京都産業大学
1991-1992
<Y151-H03650301>
国立国会図書館
件名
論理設計
検証 形式的検証 時相論理 計算機援設計 二分決定グラフ
マイクロプロセツサシステムの低消費電力設計に関する研究
マイクロプロセツサシステムの低消費電力設計に関する研究
紙
図書
安浦, 寛人, 九州大学
1997-1998
<Y151-H09480057>
国立国会図書館
件名
低消費電力 マイクロプロセツサ
論理設計
アーキテクチヤ コンパイラ 命令スケジユーリング データパ...
時相理論に基づく
論理設計
の形式的検証システムの試作研究
時相理論に基づく論理設計の形式的検証システムの試作研究
紙
図書
矢島脩三, 京都大学
1993-1994
<Y151-H05558030>
国立国会図書館
件名
時相論理
論理設計
形式的検証 論理関数処理 二分決定グラフ モデルチエツキン...
論理関数高速処理機構に関する基礎的研究
論理関数高速処理機構に関する基礎的研究
紙
図書
矢島, 修三, 京都大学
1993-1994
<Y151-H05452352>
国立国会図書館
件名
論理関数 二分決定グラフ 論理関数処理
論理設計
支援 並列アルゴリズム 計算複雑さ 内容アドレスメモリ 組合...
もっと見る(21件目~)
書誌情報を一括出力