圏論を用いた同期回路-ステー卜マシン対応の一般化
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,圏論を用いて回路の表現及びその振るまい評価を可能とする新たなモデルを構築する.このモデルの下に,同期素子のクラス Glatch を新たに定義し,任意の Glatch 同期回路に対して同じ振るまいを持つステートマシンを対応付られることを示す.この対応付けは,任意の D-FF 同期回路に対して同等の振るまいを持つステートマシンを自然に対応付けられる事実の一般化となっている.特に,GLatch は D-ラッチも含んでいるため,D-ラッチ同期回路とステートマシンの同一視といった新たな知見も明らかにしている.
- 2014-05-22
著者
関連論文
- FPGAを用いた機能分散型デュアルプロセッサシステムの一検討(システムと応用,コンピュータの未来〜エコ、ディペンダビリティ、そして〜及び一般)
- FPGA/CPLDの変遷と最新動向[III] : FPGA向け設計ツール
- スモールワールドネットワーク化配線構造によるFPGAの消費電力削減(リコンフィギャラブルアーキテクチャ)
- SRAM型FPGAの部分再構成によるソフトコアプロセッサの高信頼化(デバイスアーキテクチャ,リコンフィギャラブルシステムとその応用論文)
- 粒度可変論理セルにおける算術演算向け配線アーキテクチャの一検討(バス・配線アーキテクチャ,FPGA応用及び一般)
- 超並列プロセッサコアにおけるPE間データ転送効率の改善
- MXコアにおける部分積剰余を用いたRSA暗号の実装(応用,組込技術とネットワークに関するワークショップETNET2009)
- MXコアにおけるPE粒度変更による実行効率の改善(コンピュータシステム技術,FPGA応用及び一般)
- FPGA/CPLDの変遷と最新動向(5・完)FPGAと特許
- FPGA/CPLDの変遷と最新動向[IV] : FPGAとリコンフィギュラブルシステム
- 実装効率改善へ向けたP同値類に基づくLUTの論理出現率に関する調査(デバイスアーキテクチャ1)
- SRAM型FPGA上の実装回路におけるソフトエラー耐性評価手法の一検討 (リコンフィギャラブルシステム)
- SRAM型FPGAにおける二重冗長回路実装手法の一検討 (ディペンダブルコンピューティング)
- 配線性とアクティビティを利用する省電力指向クラスタリング手法(研究速報,設計技術,リコンフィギャラブルシステムとその応用論文)
- PCクラスタにおけるアントコロニー最適化法を用いたFPGA配置ツールの並列化
- アントコロニー最適化法の並列化手法および超並列SIMD型プロセッサへの実装
- 超並列SIMD型プロセッサMXコアへのアントコロニー最適化法の実装と評価(超並列SIMDプロセッサ,先端的コンピュータシステム技術及び一般)
- アントコロニー最適化法のMatrix Processing Engineへの実装(アプリケーション高速化,リコンフィギャラブルシステム,一般)
- FPGA/CPLDの変遷と最新動向[V・完] : FPGAと特許
- 粒度可変論理セルのコネクションブロック構造と多入力論理実装手法の一検討(リコンフィギャラブルシステム1,デザインガイア2007-VLSI設計の新しい大地を考える研究会)
- スモールワールドネットワーク化配線構造の詳細遅延評価(リコンフィギャラブルデバイス,リコンフィギャラブルシステム,一般)
- SRAM型FPGAにおける二重冗長回路実装手法の一検討(コンピュータシステム技術4,組込み技術とネットワークに関するワークショップ ETNET2010)
- Matrix Processing Engineのメディア処理アプリケーションによる性能評価(リコンフィギャラブルシステム,一般)
- 粒度可変構造をもつ再構成論理セルアーキテクチャ(ハードウェア,ユビキタス時代の情報基盤技術論文)
- 粒度可変構造論理セル向け算術演算回路の実現(リコンフィギャラブルデバイス,リコンフィギャラブルシステム,一般)
- 粒度可変構造を持つ再構成可能論理セル向けテクノロジマッピング手法(リコンフィギャラブルアーキテクチャII,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- LC_001 入力粒度に依存しない再構成論理セルのフィジビリティスタディ(C分野:ハードウェア)
- 粒度可変構造を持つ再構成論理セル向けマッピング手法の一検討(リコンフィギャラブルシステム,一般)
- FeRAMを用いた不揮発リコンフィギャラブルロジックデバイスの試作(リコンフィギャラブルアーキテクチャ)
- SRAM型FPGAの部分再構成によるエラー訂正手法の一検討(回路構築手法・光再構成デバイス,デザインガイア2009 VLSI設計の新しい大地)
- 部分再構成によるソフトコアプロセッサの故障回復手法(ディペンダブル設計,FPGA応用及び一般)
- 部分再構成によるソフトコアプロセッサの故障回復手法(ディペンダブル設計,FPGA応用及び一般)
- 部分再構成によるソフトコアプロセッサの故障回復手法(ディペンダブル設計,FPGA応用及び一般)
- SRAM型FPGA上の実装回路におけるソフトエラー耐性評価手法の一検討(高信頼化技術・設計技術)
- 超並列プロセッサコアにおけるPE間データ転送効率の改善
- SRAM型FPGAにおける二重冗長回路実装手法の一検討(コンピュータシステム技術4,組込み技術とネットワークに関するワークショップETNET2010)
- 粒度可変論理セルにおける算術演算向け配線アーキテクチャの一検討(バス・配線アーキテクチャ,FPGA応用及び一般)
- 粒度可変論理セルにおける算術演算向け配線アーキテクチャの一検討(バス・配線アーキテクチャ,FPGA応用及び一般)
- 粒度可変論理セルにおける算術演算向け配線アーキテクチャの一検討(バス・配線アーキテクチャ,FPGA応用及び一般)
- 粒度可変論理セル向けクラスタ構造の一検討(設計手法)
- 三重冗長ソフトコアプロセッサにおける同期復旧処理の一検討(高信頼化技術・設計技術)
- ソフトコアプロセッサの高信頼化に向けた三重冗長実装の一検討(高信頼化技術・設計技術)
- MXコアにおけるPE粒度変更による実行効率の改善(コンピュータシステム技術,FPGA応用及び一般)
- MXコアにおけるPE粒度変更による実行効率の改善(コンピュータシステム技術,FPGA応用及び一般)
- MXコアにおけるPE粒度変更による実行効率の改善(コンピュータシステム技術,FPGA応用及び一般)
- MXコアにおけるMIMD型PE間データ通信の一最適化手法(コンピュータシステムの設計・検証技術及び一般,デザインガイア2008-VLSI設計の新しい大地)
- MXコアのMIMD型PE間データ通信における経路決定手法の提案(設計手法)
- 粒度可変論理セルをもつ再構成論理デバイスの設計と試作(バス・配線アーキテクチャ,FPGA応用及び一般)
- 粒度可変論理セルをもつ再構成論理デバイスの設計と試作(バス・配線アーキテクチャー,FPGA応用及び一般)
- 粒度可変論理セルをもつ再構成論理デバイスの設計と試作(バス・配線アーキテクチャ,FPGA応用及び一般)
- COGRE : 面積削減を目的とした少構成メモリ論理セルアーキテクチャ(デバイスアーキテクチャ)
- 粒度可変構造を持つ再構成論理セルを用いた基本演算回路の実装(アーキテクチャI, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- 粒度可変構造を持つ再構成論理セルアーキテクチャの提案(アーキテクチャI, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- 粒度可変論理セル向けローカルインタコネクト構造の提案と評価(チップ間通信,ルーティング,インターコネクト,デザインガイア2008-VLSI設計の新しい大地)
- 粒度可論理セルにおける入力粒度最適化の一検討(リコンフィギャラブルアーキテクチャ)
- 配線性とアクティビティを利用するFPGAの低消費電力化クラスタリング手法(高信頼化技術・設計技術)
- スイッチブロックのトポロジに着目したFPGAの配線テスト手法(FPGA設計環境とテスト,FPGA応用及び一般)
- クラスタベースFPGAにおける論理ブロック内のローカル配線最適化(FPGA設計環境とテスト,FPGA応用及び一般)
- シフタ付きスイッチブロックを用いたFPGA配線構造の設計
- スイッチブロックのトポロジに着目したFPGAの配線テスト手法(FPGA設計環境とテスト,FPGA応用及び一般)
- スイッチブロックのトポロジに着目したFPGAの配線テスト手法(FPGA設計環境とテスト,FPGA応用及び一般)
- クラスタベースFPGAにおける論理ブロック内のローカル配線最適化(FPGA設計環境とテスト,FPGA応用及び一般)
- クラスタベースFPGAにおける論理ブロック内のローカル配線最適化(FPGA設計環境とテスト,FPGA応用及び一般)
- 構成メモリを削減したアダプティブLUTアーキテクチャの提案(リコンフィギャラブルアーキテクチャ)
- ホモジニアスな配線構造によるFPGA設計の容易化(リコンフィギャラブルアーキテクチャ)
- ソフトコアプロセッサシステムの高信頼化に向けたコンテキスト同期手法(信頼性,非同期)
- システムの高信頼化に向けたSupervisor Processorの一検討
- システムの高信頼化に向けたSupervisor Processorの一検討
- 自己組織化マップを用いたFPGA配置手法の提案(設計技術・アーキテクチャ)
- 動的再構成システムに向けた部分再構成データの再配置に関する一検討(動的再構成システム)
- LUT間の入力共有に基づく小面積論理クラスタ構造の一提案(設計技術・アーキテクチャ)
- FPGA配線部のハードエラー検出および再構成による回避手法 (リコンフィギャラブルシステム)
- シンベル指数に基づくSOMベースFPGA配置手法 (リコンフィギャラブルシステム)
- リコンフィギャラブルシステム向けスケジューリングシミュレータの開発 (コンピュータシステム・2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012))
- 少構成メモリ論理セルCOGREを用いた小面積論理クラスタ構造の一提案 (リコンフィギャラブルシステム)
- 二重冗長ソフトコアプロセッサにおけるソフトエラーの高速復旧技術(最適化技術・高信頼化技術,デザインガイア2011-VLSI設計の新しい大地-)
- システムの高信頼化に向けたSupervisor Processorの一検討(ディペンダビリティと評価,組込み技術とネットワークに関するワークショップETNET2012)
- システムの高信頼化に向けたSupervisor Processorの一検討(ディペンダビリティと評価,組込み技術とネットワークに関するワークショップETNET2012)
- FPGA配線部のハードエラー検出および再構成による回避手法(リコンフィギャラブル応用)
- 単一FPGA内における三重冗長モジュールの動的再配置によるハードエラー回避手法(リコンフィギャラブル応用)
- シンベル指数に基づくSOMベースFPGA配置手法(高位合成と開発環境)
- C-031 A Novel Detection and Recovery Techniques for Hard Errors in FPGAs
- リコンフィギャラブルシステム向けスケジューリングシミュレータの開発(FPGA・メニーコア,2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012))
- スケールフリーネットワークに基づくFPGA配線構造の基礎的検討(リコンフィギャラブルアーキテクチャ,デザインガイア2012-VLSI設計の新しい大地-)
- 組込みシステムを対象としたリコンフィギャラブルJavaアクセラレータの一検討(リコンフィギャラブルアクセラレータ,デザインガイア2012-VLSI設計の新しい大地-)
- システムLSI搭載FPGA-IPコア向け物理故障検出及び回避手法(FIT2012推薦論文,計算機システム)
- FPGAシステムのソフトエラー耐性評価におけるブートストラップ法による高速化
- 配線領域を分割した三次元FPGAの一提案(FPGAアーキテクチャー, FPGA応用及び一般)
- 配線領域を分割した三次元FPGAの一提案(FPGAアーキテクチャー, FPGA応用及び一般)
- 配線領域を分割した三次元FPGAの一提案(FPGAアーキテクチャー, FPGA応用及び一般)
- 少構成メモリ論理セルCOGREを用いた小面積論理クラスタ構造の一提案
- 圏論を用いた同期回路-ステー卜マシン対応の一般化
- 故障耐性をもつFPGA-IPコアの提案(開発環境と性能評価,リコンフィギャラブルシステム,一般)
- 配線セグメント長を考慮したSOMベースFPGA配置手法(システムと信号処理及び一般)
- 配線セグメント長を考慮したSOMベースFPGA配置手法(システムと信号処理及び一般)
- シャノン展開された部分関数の特徴に基づく少構成メモリLUT(リコンフィギャラプルアーキテクチャ(2),リコンフィギャラブルシステム,一般)
- 配線セグメント長を考慮したSOMベースFPGA配置手法(システムと信号処理及び一般)
- 配線セグメント長を考慮したSOMベースFPGA配置手法(システムと信号処理及び一般)
- 高速シリアル通信を用いたFPGAベースASICエミュレータの設計と評価(開発環境と性能評価,リコンフィギャラブルシステム,一般)
- シンベル指数に基づくSOMベースFPGA配置手法