• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Design, Manufacture and Evaluation of an AsynchronousPipeline-System based on Relatively-Delay Model

Research Project

Project/Area Number 17560361
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field System engineering
Research InstitutionUniversity of the Ryukyus

Principal Investigator

NAGATA Yasunori  University of the Ryukyus, 工学部, 教授 (50208021)

Project Period (FY) 2005 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥4,030,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥630,000)
Fiscal Year 2008: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2007: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2006: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2005: ¥600,000 (Direct Cost: ¥600,000)
Keywords非同期システム / パイプライン / 相対遅延 / 3値論理 / 時相論理 / システム検証 / ヒステリシスゲート / 非同期回路 / 様相論理 / 計算機システム / 非同期式システム / システムオンチップ / 電子デバイス・機器 / 多値論理
Research Abstract

コンピュータの超高速化, 高機能化にともなって集積回路が超微細化加工されるに従い, 従来のクロックによる同期式システムの考えだけでは正しい動作が保障されないため, 要求/応答制御信号を用いた非同期システムが注目されている. 本研究では, 相対遅延モデルを提案し, これに基づく非同期システムやパイプラインシステムを設計し, これらをFPGA上に実装し, 評価を行うものである. 研究の途中で, D-素子や2線論理実装ライブラリ, また, 非同期システムの検証手法, 時相論理の新しい体系などを提案している.

Report

(5 results)
  • 2008 Annual Research Report   Final Research Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • Research Products

    (72 results)

All 2008 2007 2006 2005 Other

All Journal Article (36 results) (of which Peer Reviewed: 18 results) Presentation (35 results) Book (1 results)

  • [Journal Article] Three-Valued Temporal Logic Qt and Future Contingents2008

    • Author(s)
      Seiki Akama, Yasunori Nagata
    • Journal Title

      Studia Logica Vol.88, No.2

      Pages: 215-231

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Three-Valued Temporal Logic Qt and Future Contingents2008

    • Author(s)
      Seiki Akama
    • Journal Title

      Studia Logica Vol. 88, No. 2

      Pages: 215-231

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Design of Multiple Threshold Gate with hysteresis for Asynchronous Circuits2008

    • Author(s)
      Mototsune Nakahodo
    • Journal Title

      IEEE SCIS & ISIS TH-B5-2

      Pages: 587-591

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A System Verification Methodology based on Check-Point Extraction Method2008

    • Author(s)
      Chikatoshi Yamada
    • Journal Title

      IEEE SCIS & ISIS TH-D2-2

      Pages: 98-103

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Three-Valued Temporal Logic Qt and Future Contingents2008

    • Author(s)
      赤間世紀, 長田康敬
    • Journal Title

      Studia Logica Vol.88,No.2

      Pages: 215-231

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Three Valued Temporal Logic for Future Contingents2007

    • Author(s)
      Seiki Akama and Yasunori Nagata
    • Journal Title

      Logique & Analyse Vol.50-198

      Pages: 99-11

    • NAID

      120006847259

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Three-Valued Temporal Logic Qt and Future Contingents2007

    • Author(s)
      Seiki Akama and Yasunori Nagata
    • Journal Title

      Studia Logica Vol.88, No.2

      Pages: 215-231

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] On Prior's Three-Valued Modal Logic Q2007

    • Author(s)
      Seiki Akama and Yasunori Nagata
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.E89-C, No.6

      Pages: 105-110

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] An Efficient Specification Method of Asynchronous Control Modules in Model Checking2007

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Journal Title

      WSEAS Trans. on Circuit and Systems Issue 1, Vol.6

      Pages: 163-170

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Three Valued Temporal Logic for Future Contingents2007

    • Author(s)
      赤間世紀, 長田康敬
    • Journal Title

      Logique & Analyse Vol.50-198

      Pages: 99-111

    • NAID

      120006847259

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Check-points Extraction Method for Formal Verification2007

    • Author(s)
      山田親稔, 長田康敬
    • Journal Title

      WSEAS press: Proc. of WSEAS Int'l Conf. on SYSTEMS THEORY AND SCIENTIFIC COMPUTATION No.7

      Pages: 78-83

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Threshold Gate with Hysteresis using Neuron MOS2007

    • Author(s)
      仲程基経, 山田親稔, 長田康敬
    • Journal Title

      WSEAS press: Proc. of WSEAS Int'l Conf. on SYSTEMS THEORY AND SCIENTIFIC COMPUTATION No.7

      Pages: 159-164

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An Efficient Specification for Model Checking Using Check-Points Extraction Method2007

    • Author(s)
      山田親稔, 長田康敬
    • Journal Title

      WSEAS press: Proc. of WSEAS Int'l Conf. on APPLIED COMPUTER SCIENCE/COMPUTER SCIENCE CHA-LLENGES No.7

      Pages: 208-213

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On Prior's Three-Valued Modal Logic Q2007

    • Author(s)
      Siki Akama, Yasunori Nagata
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.E89-C, No.6

      Pages: 105-110

    • Related Report
      2006 Annual Research Report
  • [Journal Article] An Efficient Specification Method of Asynchronous Control Modules in Model Checking2007

    • Author(s)
      Chikatoshi Yamada, Yasunori Nagata
    • Journal Title

      WSEAS Trans. on Circuit and Systems Issue 1, Vol.6

      Pages: 163-170

    • Related Report
      2006 Annual Research Report
  • [Journal Article] νMOSを用いたヒステリシャルしきいゲートについて2007

    • Author(s)
      仲程基経, 又吉元紀, 長田康敬
    • Journal Title

      電子情報通信学会第2種研究会 第20回多値論理とその応用研究会(多値技報) Vol.MVL-07, No.1

      Pages: 45-50

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Infon Logic Based on Constructive Logic2006

    • Author(s)
      Seiki Akama and Yasunori Nagata
    • Journal Title

      Logique et Analyse vol.194

      Pages: 119-136

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] An Efficient Specification for System Verification2006

    • Author(s)
      Chikatoshi Yamada, Yasunori Nagata and Zensho Nakao
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10, No.6

      Pages: 931-938

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Infon Logic Based on Constructive Logic2006

    • Author(s)
      Siki Akama, Yasunori Nagata
    • Journal Title

      Logique et Analyse 194

      Pages: 119-136

    • Related Report
      2006 Annual Research Report
  • [Journal Article] An Efficient Specification for System Verification2006

    • Author(s)
      Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10, No.6

      Pages: 931-938

    • Related Report
      2006 Annual Research Report
  • [Journal Article] An Efficient Temporal Formula Specification Method for Asynchronous Circuit Systems2006

    • Author(s)
      Chikatoshi Yamada, Yasunori Nagata
    • Journal Title

      WSEAS Int' 1 Conf. on Applied Computer Science Proc. of 6th

      Pages: 214-219

    • Related Report
      2006 Annual Research Report
  • [Journal Article] ヒステリシス性を有するν-MOS多値しきいゲートを用いた非同期回路の合成について2006

    • Author(s)
      仲程基経, 島袋克彦, 長田康敬
    • Journal Title

      第23回多値論理フォーラム 第29巻

    • Related Report
      2006 Annual Research Report
  • [Journal Article] ヒステリシスを有するν-MOSしきいゲートを用いた非同期回路の合成2006

    • Author(s)
      仲程基経, 長田康敬
    • Journal Title

      平成18年度電気関係学会九州支部連合大会論文集 No.07-2P-07

      Pages: 455-455

    • NAID

      130004608783

    • Related Report
      2006 Annual Research Report
  • [Journal Article] ν-MOSを用いたヒステリシス性を有する可変しきいゲートの制御について2006

    • Author(s)
      又吉元紀, 長田康敬
    • Journal Title

      平成18年度電気関係学会九州支部連合大会論文集 No.07-2P-08

      Pages: 456-456

    • NAID

      130004608784

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Inductive Temporal Formula Specifications for System Verification2005

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.9, No.3

      Pages: 321-328

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Logic and Situation Theory2005

    • Author(s)
      Seiki Akama and Yasunori Nagata
    • Journal Title

      Advanced in Logic Based Intelligent Systems Vol.132

      Pages: 1-8

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Journal Article] Inductive Temporal Formula Specifications for System Verification2005

    • Author(s)
      Chikatoshi Yamada
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.9, No.3

      Pages: 321-328

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Minimal Test Generation by Hashing for R-Valued PLAs2005

    • Author(s)
      Yasunori Nagata
    • Journal Title

      REAJ(日本信頼性学会論文誌) Vol.27, No.6, 9月号

      Pages: 435-443

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Constructive Logic and Situation Theory2005

    • Author(s)
      Seiki Akama
    • Journal Title

      Advanced in Logic Based Intelligent Systems Vol.132

      Pages: 1-8

    • Related Report
      2005 Annual Research Report
  • [Journal Article] On Prior's Three-Valued Modal Logic Q2005

    • Author(s)
      Seiki Akama
    • Journal Title

      IEEE Proc.35th Int'l Synp. on Multiple-Valued Logic ISMVL'05

      Pages: 14-19

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Efficient Temporal Formula Specification Method for System Verification2005

    • Author(s)
      Chikatoshi Yamada
    • Journal Title

      IEEE Proc of Soft Computing in System 2005, SCIS & ISIS 2005 ISIS'05

      Pages: 441-446

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Efficient Temporal Formula Specification Method for Asynchronous Circuit Systems2005

    • Author(s)
      Chikatoshi Yamada
    • Journal Title

      IEEE Proc of International Region 10 Conference, TENCON'05 No.1D-10.1

      Pages: 832-835

    • Related Report
      2005 Annual Research Report
  • [Journal Article] ヒステリシス性を持つしきいゲートについて2005

    • Author(s)
      上江田 勝由
    • Journal Title

      平成17年度電気関係学会九州支部連合大会論文集 No.09-1P-04

      Pages: 359-359

    • Related Report
      2005 Annual Research Report
  • [Journal Article] バーストモード非同期順序機械の合成について2005

    • Author(s)
      奥原 聡
    • Journal Title

      平成17年度電気関係学会九州支部連合大会論文集 No.12-1A-11

      Pages: 476-476

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 束データ方式に基づく非同期マイクロプロセッサのFPGA実装2005

    • Author(s)
      宮里 英樹
    • Journal Title

      平成17年度電気関係学会九州支部連合大会論文集 No.12-1A-13

      Pages: 478-478

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Minimal Test Generation by Hashing for R-Valued PLAs

    • Author(s)
      Yasunori Nagata, Masao Mukaidono and D.Michael Miller
    • Journal Title

      REAJ(日本信頼性学会論文誌) Vol.27, No.6, 9月号

      Pages: 435-443

    • Related Report
      2008 Final Research Report
    • Peer Reviewed
  • [Presentation] ヒステリシスしきいゲートの合成について2008

    • Author(s)
      長嶋裕樹
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Place of Presentation
      大分大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] 非同期パイプラインのペトリネットによる比較2008

    • Author(s)
      白土裕介
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Place of Presentation
      大分大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] ヒステリシスを有する可変しきいゲートを用いたALUの設計2008

    • Author(s)
      町田宗平
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Place of Presentation
      大分大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] 2線論理回路用VHDLライブラリについて2008

    • Author(s)
      宮城武志
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Place of Presentation
      大分大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] 非同期パイプラインのシステムのFPGA実装について2008

    • Author(s)
      芦原圭祐
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Place of Presentation
      大分大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] C素子のSMVによる検証について2008

    • Author(s)
      蔦本沙織
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Place of Presentation
      大分大学
    • Year and Date
      2008-09-26
    • Related Report
      2008 Annual Research Report
  • [Presentation] Design of Multiple Threshold Gate with hysteresis for Asynchronous Circuits(TH-B5)2008

    • Author(s)
      Mototsune Nakahodo, Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      IEEE SCIS & ISIS
    • Related Report
      2008 Final Research Report
  • [Presentation] A System Verification Methodology based on Check-Point Extraction Method(TH-B5)2008

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      IEEE SCIS & ISIS
    • Related Report
      2008 Final Research Report
  • [Presentation] ヒステリシスしきいゲートの合成について2008

    • Author(s)
      長嶋裕樹, 長田康敬
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Related Report
      2008 Final Research Report
  • [Presentation] 非同期パイプラインのペトリネットによる比較2008

    • Author(s)
      白土裕介, 長田康敬
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Related Report
      2008 Final Research Report
  • [Presentation] ヒステリシスを有する可変しきいゲートを用いたALUの設計2008

    • Author(s)
      町田宗平, 長田康敬
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Related Report
      2008 Final Research Report
  • [Presentation] 2線論理回路用VHDLライブラリについて2008

    • Author(s)
      宮城武志, 長田康敬
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Related Report
      2008 Final Research Report
  • [Presentation] 非同期パイプラインのシステムのFPGA実装について2008

    • Author(s)
      芦原圭祐, 長田康敬
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Related Report
      2008 Final Research Report
  • [Presentation] C素子のSMVによる検証について2008

    • Author(s)
      蔦本沙織, 長田康敬
    • Organizer
      電子情報通信学会九州支部学生会講演会
    • Related Report
      2008 Final Research Report
  • [Presentation] "FPGAを対象とした非同期素子の設計と検証2007

    • Author(s)
      又吉元紀, 仲程基経, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Place of Presentation
      沖縄県
    • Year and Date
      2007-09-20
    • Related Report
      2007 Annual Research Report
  • [Presentation] A Check-points Extraction Method for Formal Verification(No.7)2007

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      WSEAS press : Proc. of WSEAS Int'l Conf. on SYSTEMS THEORY AND SCIENTIFIC COMPUTATION
    • Related Report
      2008 Final Research Report
  • [Presentation] Threshold Gate with Hysteresis using Neuron MOS(No.7)2007

    • Author(s)
      Mototsune Nakahodo, Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      WSEAS press : Proc. Of WSEAS Int'l Conf. on SYSTEMS THEORY AND SCIENTIFIC COMPUTATION
    • Related Report
      2008 Final Research Report
  • [Presentation] An Efficient Specification for Model Checking Using Check-Points Extraction Method(No.7)2007

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      WSEAS press : Proc. Of WSEAS Int'l Conf. on APPLIEDCOMPUTER SCIENCE/COMPUTER SCIENCE CHA- LLENGES
    • Related Report
      2008 Final Research Report
  • [Presentation] ヒステリシス性を有する可変しきいゲートの合成手法2007

    • Author(s)
      勝浦大輔, 仲程基経, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Related Report
      2008 Final Research Report 2007 Annual Research Report
  • [Presentation] レイアウトから設計するνMOSしきいゲート2007

    • Author(s)
      上野愛, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Related Report
      2008 Final Research Report 2007 Annual Research Report
  • [Presentation] Linux搭載ボードによるネットワークシステムの構築2007

    • Author(s)
      蔦本沙織, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Related Report
      2008 Final Research Report 2007 Annual Research Report
  • [Presentation] 非同期回路用VHDLライブラリの構築2007

    • Author(s)
      宮城武志, 又吉元紀, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Related Report
      2008 Final Research Report 2007 Annual Research Report
  • [Presentation] 非同期MIPSプロセッサのFPGA実装2007

    • Author(s)
      芦原圭祐, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Related Report
      2008 Final Research Report 2007 Annual Research Report
  • [Presentation] FPGAを対象とした非同期素子の設計と検証2007

    • Author(s)
      又吉元紀, 仲程基経, 長田康敬
    • Organizer
      電子情報通信学会九州支部連合大会
    • Related Report
      2008 Final Research Report
  • [Presentation] νMOSを用いたヒステリシャルしきいゲートについて(Vol.MVL-07, No.1)2007

    • Author(s)
      仲程基経, 又吉元紀, 長田康敬
    • Organizer
      電子情報通信学会第2種研究会第20回多値論理とその応用研究会
    • Related Report
      2008 Final Research Report
  • [Presentation] An Efficient Temporal Formula Specification Method for Asynchronous Circuit Systems2007

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      WSEAS Int'l Conf. on Applied Computer Science, Proc.of 6^<th>
    • Related Report
      2008 Final Research Report
  • [Presentation] テリシス性を有するν-MOS多値しきいゲートを用いた非同期回路の合成について(第29 巻)2007

    • Author(s)
      仲程基経, 島袋克彦, 長田康敬
    • Organizer
      第23回多値論理フォーラム
    • Related Report
      2008 Final Research Report
  • [Presentation] ヒステリシスを有するν-MOSしきいゲートを用いた非同期回路の合成(No.07-2P-07)2006

    • Author(s)
      仲程基経, 長田康敬
    • Organizer
      平成18年度電気関係学会九州支部連合大会論文集
    • Related Report
      2008 Final Research Report
  • [Presentation] ν-MOSを用いたヒステリシス性を有する可変しきいゲートの制御について2006

    • Author(s)
      又吉元紀, 長田康敬
    • Organizer
      平成18年度電気関係学会九州支部連合大会論文集
    • Related Report
      2008 Final Research Report
  • [Presentation] On Prior's Three-Valued Modal Logic Q2005

    • Author(s)
      Seiki Akama and Yasunori Nagata
    • Organizer
      IEEE Proc. 35th Int'l Synp.on Multiple-Valued Logic, ISMVL
    • Related Report
      2008 Final Research Report
  • [Presentation] An Efficient Temporal Formula Specification Method for System Verification2005

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      IEEE Proc of Soft Computing in SystemSCIS & ISISI2005, ISIS'05
    • Related Report
      2008 Final Research Report
  • [Presentation] An Efficient Temporal Formula Specification Method for Asynchronous Circuit Systems(No.1D-10.1)2005

    • Author(s)
      Chikatoshi Yamada and Yasunori Nagata
    • Organizer
      IEEE Proc of International Region 10 Conference, TENCON'05
    • Related Report
      2008 Final Research Report
  • [Presentation] バーストモード非同期順序機械の合成について(No.12-1A-11)2005

    • Author(s)
      奥原聡, 長田康敬
    • Organizer
      平成17年度電気関係学会九州支部連合大会論文集
    • Related Report
      2008 Final Research Report
  • [Presentation] 束データ方式に基づく非同期マイクロプロセッサのFPGA実装(No.12-1A-13)2005

    • Author(s)
      宮里英樹, 長田康敬
    • Organizer
      平成17年度電気関係学会九州支部連合大会論文集
    • Related Report
      2008 Final Research Report
  • [Presentation] ヒステリシス性を持つしきいゲートについて

    • Author(s)
      上江田勝由, 長田康敬
    • Organizer
      平成17年度電気関係学会九州支部連合大会論文集
    • Related Report
      2008 Final Research Report
  • [Book] 情報数学入門2006

    • Author(s)
      赤間世紀, 玉城史郎, 長田康敬
    • Total Pages
      187
    • Publisher
      共立出版社
    • Related Report
      2008 Final Research Report 2006 Annual Research Report

URL: 

Published: 2005-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi