Search results for "論理設計" | NDL Search

Search results 24

Group by title

仮想的配線を用いたプログラム可能論理素子とその論理合成法に関する研究

Paper図書

笹尾勤, 九州工業大学 [著][笹尾勤]2002-2004<Y151-H14380146>

National Diet Library

Subject HeadingFPGA / メモリ / 再構成可能倫理 / BDD / 関数分解 / 論理設計

超高性能VLSIの論理設計とテスト方式に関する研究

Paper図書

笹尾, 勤, 九州工業大学1999-2001<Y151-H11694168>

National Diet Library

Subject HeadingVLSI テスト生成故障検査遅延故障 BDD 論理設計

大規模論理関数の分解に関する研究

Paper図書

笹尾, 勤, 九州工業大学1998-2000<Y151-H10680360>

National Diet Library

Subject Heading関数分解論理関数論理設計 BDD テスト生成

ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証

Paper図書

平石, 裕実, 京都産業大学2000-2002<Y151-H12680361>

National Diet Library

Subject Heading設計検証論理設計形式的検証並列処理分散処理クラスタシステム

決定グラフに基づく論理シミユレ-シヨン・エンジンの開発

Paper図書

笹尾, 勤, 九州工業大学2000-2002<Y151-H12558030>

National Diet Library

Subject HeadingBDD 倫理シミユレ-タ設計検証関数分解再構成可能論理論理設計 FGPA

ベンチマーキングのための不自然でないランダム論理回路の高速大量生成

Paper図書

岩間, 一雄, 京都大学1996-1997<Y151-H08558024>

National Diet Library

Subject Heading論理設計 CAD 最適化ベンチマークランダム生成

非同期式複合VLSIシステムの設計支援技術に関する研究

Paper図書

南谷, 崇, 東京大学1997-1999<Y151-H09480049>

National Diet Library

Subject Heading非同期式回路 VLSI設計マイクロプロセツサアーキテクチヤ論理設計

ブール関数処理による順序回路の自動合成・設計検証システムの試作研究

Paper図書

矢島, 脩三, 京都大学1991-1992<Y151-H03555074>

National Diet Library

Subject Heading論理合成論理設計検証順序回路論理関数簡単化状態割当て時相論理論理設計支援

三分岐判定図を用いた論理式の表現と処理に関する研究

Paper図書

笹尾, 勤, 九州工業大学1993-1994<Y151-H05680279>

National Diet Library

Subject Heading論理設計論理合成 LSIのCAD 多段論理回路 BDD TDD

3段論理回路の構成法に関する研究

Paper図書

笹尾, 勤, 九州工業大学1996-1997<Y151-H08680374>

National Diet Library

Subject Heading論理設計論理合成関数分解多段論理回路 EXOR 検査容易化設計...

EXOR論理ゲートを用いた論理合成システムの開発

Paper図書

笹尾, 勤, 九州工業大学1993-1995<Y151-H05558032>

National Diet Library

Subject Heading論理設計論理合成 LSIのCAD 多段論理回路算術演算回路 EX...

形式的論理設計検証に関する研究

Paper図書

平石, 裕美, 京都産業大学1997-1998<Y151-H09680348>

National Diet Library

Subject Heading形式的検証論理設計検証様相論理並列アルゴリズム分散アルゴリズム記号モデ...

正則時相論理に基づく形式的論理設計検証に関する研究

Paper図書

平石, 裕実, 京都大学1989-1990<Y151-H01550285>

National Diet Library

Subject Heading時相論理形式的検証論理設計モデル検査

有限状態システムの形式的設計検証に関する研究

Paper図書

平石, 裕実, 京都産業大学1993-1994<Y151-H05680285>

National Diet Library

Subject Heading形式的設計検証有限状態システム時相論理記号モデル検査論理設計検証

EXORゲートを用いた論理回路の構成に関する研究

Paper図書

笹尾, 勤, 九州工業大学1990-1991<Y151-H02805046>

National Diet Library

Subject Heading論理設計 EXOR PLA 算術回路 LSIのCAD 多段論理回路 ...

時間記号シミユレーシヨンによる論理設計検証システムの試作研究

Paper図書

矢島, 脩三, 京都大学1989-1990<Y151-H01850074>

National Diet Library

Subject Heading論理設計検証タイミング検証論理シミユレーシヨン記号シミユレーシヨン論理設計非同期式順序回路ハザード

時相論理に基づく計算機援用形式的設計検証に関する研究

Paper図書

平石, 裕実, 京都産業大学1991-1992<Y151-H03650301>

National Diet Library

Subject Heading論理設計検証形式的検証時相論理計算機援設計二分決定グラフ

マイクロプロセツサシステムの低消費電力設計に関する研究

Paper図書

安浦, 寛人, 九州大学1997-1998<Y151-H09480057>

National Diet Library

Subject Heading低消費電力マイクロプロセツサ論理設計アーキテクチヤコンパイラ命令スケジユーリングデータパ...

時相理論に基づく論理設計の形式的検証システムの試作研究

Paper図書

矢島脩三, 京都大学1993-1994<Y151-H05558030>

National Diet Library

Subject Heading時相論理論理設計形式的検証論理関数処理二分決定グラフモデルチエツキン...

論理関数高速処理機構に関する基礎的研究

Paper図書

矢島, 修三, 京都大学1993-1994<Y151-H05452352>

National Diet Library

Subject Heading論理関数二分決定グラフ論理関数処理論理設計支援並列アルゴリズム計算複雑さ内容アドレスメモリ組合...