6. プルーフチェッカを用いたLSI回路設計の正しさの検証 : 演算用,通信用LSI等 (情報通信の将来の基礎に向けて)
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 1999-09-25
著者
関連論文
- 有限位相空間における等径的近傍について
- 有限位相空間における膨張・収縮処理とプリント配線パターン検査への応用
- Web上のテスト問題出題システムの開発(Collaborationとagent技術/一般)
- Webを用いたドリル型CAIシステムによる大学講義とその評価
- 7-213 信州大学インターネット大学院・大学の現状(オーガナイズドセッション「バーチャルユニバーシティ」)
- あるファジィ集合族のコンパクト性
- ある階層型ニューラルネットワーク集合のコンパクト性
- (73)信州大学インターネット大学院におけるCAIサーバの高信頼性化(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
- (72)個別の学習進捗に対応したe-Learning教材表示制御システム(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
- 信州大学インターネット大学院
- [特別講演]信州大学インターネット大学院におけるサーバ運用の高信頼化について(リッチメディア,信頼性・セキュリティ,一般)
- 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
- 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
- Verification of logic circuits using Mizar and its application to an adder circuit on a radix-$2^k$SD number (Topics in Information Sciences and Applied Functional Analysis)
- ファジー集合論を用いた画像処理
- 5近傍におけるディジタル線分について
- 有限位相空間におけるディジタル線分について
- 離散空間における位相幾何学と表面検査における傷の検出への応用
- Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (Topics in Information Sciences and Applied Functional Analysis)
- 機器組み込み用並行処理言語coroutine Cの設計とその処理系の実現
- 算術式計算における誤答分析システムとその評価
- ミリ波レーダセンサによる交通監視システムへの応用
- 橈骨付近における超音波伝達特性の測定
- 信州大学インターネット大学院--e-ラーニング教材と学生について (特集 e-ラーニングの活用)
- (72)信州大学インターネット大学院の概要と今後の展望(第19セッション インターネット・マルチメティアの利用(I))
- 信州大学インターネット大学院の経緯と現状
- 関数形言語とその入力・表現ツール : 新しい一般言語の提案
- 信州大学インターネット大学院計画について
- 信州大学バーチャル大学院計画について
- 招待講演3 信州大学インターネット大学院計画について (AIシンポジウム(第16回) e-learningのintelligent化に向けて)
- 6. プルーフチェッカを用いたLSI回路設計の正しさの検証 : 演算用,通信用LSI等 (情報通信の将来の基礎に向けて)
- プルーフチェッカーを用いた論理演算器の設計検証
- トークンを用いたパケット交換システム用バス調停方式
- 画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
- 微分方程式を用いた帯域フィルタ処理の高速化と変復調システムへの応用
- 逐次リアルタイム復号処理が可能な2値画像圧縮法
- クロックモデルによるディジタル回路のタイミング検証法
- セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
- ペトリネット評価への順序概念の導入とシステム検証について
- CASEツールとしての論理カラーペトリネット(LC-net)の能力
- クロックモデルによるデジタル回路のタイミング検証法
- 制御ソフトウェアに適したペトリネットの拡張
- ソフトウェアによる振幅変復調の実現 : 放送方式
- 多段順序回路における信号伝搬のタイミング検証システム
- A Theory of Function Lattices on Finite Topological Spaces for Image Processing
- IT革命と発展途上国からの追い上げを逆手に取る
- 不可避なデジタルデバイド : 国家間の差より個人間の差
- ADSLから学ぶ国の集中投資のありかた
- ドルの稼げるソフト
- インターネットソフトを世界に売ろう
- パケット処理装置に適したト-クン方式バス調停法と性能解析