Search results for "設計検証" | NDL Search

Search results 15

Group by title

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

Paper図書

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

National Diet Library

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

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

Paper図書

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

National Diet Library

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

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

Paper図書

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

National Diet Library

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

プログラムを仕様とするハードウェアの設計検証手法

Paper図書

木村晋二, 早稲田大学 [著][木村晋二]2002-2004<Y151-H14580377>

National Diet Library

Subject Heading設計検証 / 高位検証 / 再構成可能素子の検証 / テクノロジーマ...

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

Paper図書

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

National Diet Library

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

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

Paper図書

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

National Diet Library

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

ASIC設計の上流工程設計支援システムの開発

Paper図書

谷口, 健一, 大阪大学1993-1994<Y151-H05558031>

National Diet Library

Subject Heading同期式順序回路代数的手法 ASIC 段階的詳細化設計検証 CAD プレスブルガー文状態図変形

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

Paper図書

矢島, 脩三, 京都大学1995-1996<Y151-H07558155>

National Diet Library

Subject Heading形式的設計検証機能レベル設計時相論理第一階述語論理モデルチエツキン...

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

Paper図書

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

National Diet Library

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

エラー訂正を考慮した効率の良い量子回路設計手法に関する研究 : 平成19年度実績報告書

Digital文書・図像類

山下, 茂奈良先端科学技術大学院大学2008

Available onlineOther Libraries in Japan

Subject Heading量子計算量子回路設計設計検証エラー訂正

共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究

Paper図書

矢島, 脩三, 京都大学1990-1991<Y151-H02452162>

National Diet Library

Subject Heading論理関数二分決定グラフ論理関数処理計算機援用設計記号シミユレーシヨンタイミング検証論理設計検証計算複雑さ

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

Paper図書

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

National Diet Library

Subject Heading論理設計検証タイミング検証論理シミユレーシヨン記号シミユレーシヨン...

集積回路設計における高位レベル情報抽出に関する研究

Paper図書

安浦, 寛人, 京都大学1990-1991<Y151-H02650264>

National Diet Library

Subject Heading機能情報抽出論理合成組み合わせ論理回路順序回路 2分決定木算術演算機能機能レベルシミユレーシヨンモデル設計検証

ベクトルプロセツサを用いた高速論理シミユレータと論理設計検証システムの試作研究

Paper図書

矢島, 脩三, 京都大学1986-1987<Y151-S61850062>

National Diet Library

Subject Heading論理設計検証論理シミユレーシヨンベクトルプロセツサ時相論理仕様記...

知的耐故障コンピユータシステムに関する研究

Paper図書

樹下, 行三, 広島大学1985-1987<Y151-S60302049>

National Diet Library

Subject Heading耐故障コンピユータ耐故障システム知的システム耐故障設計検査容易設計高信頼化設計故障検査故障診断設計検証フオールトトレランス

Reached to the end of result.

RSS