マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)による論理回路図の入力
スポンサーリンク
概要
- 論文の詳細を見る
近年の集積回路技術の進歩に伴い、設計対象となる論理回路はますます複雑化、大規模化する傾向にある。このような論理回路を効率良く、短期間で設計するために様々なCADシステムが利用されている。これらのCADシステムのマン・マシン・インタフェースとしては主にコンピュータ・グラフィクスが用いられているが、論理回路の大規模化に伴い、表示すべき情報量の増大によって、より高解像度のディスプレイ装置が必要とされている。このような状況に対応するため、我々はディスプレイ装置を二次元的に複数台配置して技術的な限界を越えた高解像度を実現するマルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)を開発した。MCMSシステムは1台のコントローラとマルチスクリーンを構成する4台のスクリーンから成る。本稿では、このMCMSシステムの特徴を生かして作成された論理回路図の入力のためのシステムについて述べる。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
松本 忍
京都大学工学部情報工学教室
-
荻野 博幸
ニコン
-
平石 裕実
京都大学 工学部
-
矢島 脩三
京都大学 工学部
-
平石 裕実
京都産業大学
-
松本 忍
京都大学 工学部
-
荻野 博幸
京都大学 工学部
関連論文
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 正則時相論理のモデルチェック法の改良と設計検証への適用
- 2)超高精細マルチ画像顕微鏡装置の開発(ヒューマンインフォメーション研究会)
- 超高精細マルチ画像顕微鏡装置の開発
- 設計検証技術(総論) : 現在の設計検証技術はペンティアムのバグを見つけることができるか
- 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)
- 形式的設計検証のための分岐時間正則時相論理
- 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- 正則時相論理の充足可能性判定アルゴリズム
- 特集「論理設計の形式的検証」の編集にあたって
- 二次記憶に格納された共有二分決定グラフを効率良く処理するための幅優先アルゴリズム
- プール式処理による不完全指定順序機械の最小化
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)による論理回路図の入力
- 乗除べき乗算のための段数 O((1-α)/α n)) 素子数 O((n^)/(αlogn))回路
- しきい値関数を表す二分決定グラフのサイズと変数順序
- マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
- 並列分枝限定法と動的探索木分割によるクラスタシステム向き最適順序付けアルゴリズム(アルゴリズム)
- 通信状態の可視化によるメッセージ通信型並列プログラムのデバッグ支援ツール
- クラスタシステムにおける並列バイトニックソートの性能評価
- Verification of Deadlock Free Property of Asynchronous Robot Control Programs
- 情報技術革命を支える高性能・高効率計算システムの研究
- 平成13年度活動概要
- Verification of Deadlock Free Property of Asynchronous Robot Control Programs
- HRクラスタシステムガイド(ハイテクリサーチプロジェクト)
- 静的部分問題割り当てに基づくN-queen問題の並列アルゴリズム
- 静的部分問題割り当てに基づくN-queen問題の並列アルゴリズム
- 形式的論理設計検証の研究
- 形式的論理設計検証の研究
- 形式的論理設計検証の研究
- 記号モデル検証システムSMVにおける像計算 (テストと設計検証論文特集)
- タスク制御アーキテクチャ入力支援システム
- 形式的論理設計検証およびメッセージ書換型プロキシサーバーの研究
- メッセージ書換型プロキシサーバの研究開発
- 形式的論理設計検証に関する研究
- 16ビットマイクロプロセッサの形式的設計検証
- 順序回路検証の技術
- 非決定性順序機械によるハードウェア記述言語の意味付け
- イベントの2項関係に基づく並列システムの代数的仕様記述
- 正則集合と表現等価な正則時相論理RTL
- GPGPU による組み合わせ論理回路の入力パタン並列論理シミュレーション
- 形式的論理設計検証に関する研究
- 形式的論理設計検証に関する研究
- 形式的設計検証
- 正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)