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

Study on Implementation and Evaluation of High-performance Asynchronous Microprocessor

Research Project

Project/Area Number 07558036
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section試験
Research Field 計算機科学
Research InstitutionThe University of Tokyo (1996)
Tokyo Institute of Technology (1995)

Principal Investigator

NANYA Takashi  The University of Tokyo, Research Center for Advanced Science and Technology, Professor, 先端科学技術研究センター, 教授 (80143684)

Co-Investigator(Kenkyū-buntansha) FUKUMA Masao  NEC Corporation, Microelectronics Research Lab., Senior Manager, マイクロエレクトロニクス研究所, システムULSI研究
KAGOTANI Hiroto  Okayama University, Faculty of Engineering, Assistant, 工学部, 助手 (50271060)
UENO Yoichiro  Tokyo Institute of Technology, Graduate School of Information Science and Engine, 大学院・情報理工学研究科, 助手 (70262285)
YONEDA Tomohiro  Tokyo Institute of Technology, Graduate School of Information Science Engineerin, 大学院・情報理工学研究科, 助教授 (30182851)
FUJIWARA Eiji  Tokyo Institute of Technology, Graduate School of Information Science and Engine, 大学院・情報理工学研究科, 教授 (20211526)
山田 八郎  日本電気(株), マイクロエレクトロニクス研究所, 研究専門課長
Project Period (FY) 1995 – 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥8,700,000 (Direct Cost: ¥8,700,000)
Fiscal Year 1996: ¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 1995: ¥5,700,000 (Direct Cost: ¥5,700,000)
KeywordsAsynchronous Processor / Asynchronous Circuit / Asynchronous VLSI System / ALSI System Design / Asynchronous Logic Synthesis / Asynchronous Circuit Testing
Research Abstract

A 32-bit asynchronous microprocessor, whose architecture was borrowed from the MIPS R2000 processor, has been fabricated using 3 layr metal, 0.5 micron rule CMOS standard cell technology, integrating 496,367 MOS transistors and 8.6K Byte memory macro in 12.5 mm x 12.5mm. The processor chip works correctly with its power supply voltage being varied through the range from 1.5V to 6.0V and the temperature of its package surface being heated up to about 85 degrees Celsius by hair dryer and cooled down with liquid nitrogen, and achieves 52 VAX MIPS using the Dhrystone V2.1 benchmark with a power consumption of 2W at 3.3 V for room temperature. A significant feature of the design is the introduction of a new delay model, called the Scalable-Delay-Insensitive (SDI) model, which provides with a reasonable approach to dependable and high-performance asynchronous VLSI system design. the delay-insensitivity and the high-performance that the processor has been proved to achieve demonstrate that the asynchronous event-driven approach is very promising and encouraging for high-preformance VLSI system design with future device technologies.

Report

(3 results)
  • 1996 Annual Research Report   Final Research Report Summary
  • 1995 Annual Research Report
  • Research Products

    (136 results)

All Other

All Publications (136 results)

  • [Publications] 亀田 義男: "パルス駆動型非同期式回路の基本素子モデルと組合せ論理回路構成" 電子情報通信学会論文誌. J79-D-I・3. 140-147 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 籠谷 裕人: "相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現" 電子情報通信学会論文誌. J79-D-I・5. 237-244 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] ア-ティット トンタック: "非同期式論理回路の縮退故障テスト" 電子情報通信学会論文誌. J80-D-I・2. 1-9 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.B.Park: "Synthesis of asynchronous circuits from signal transition graph specifications" IEICE Trans.on Information and Systems. E80-D-I・3. 326-335 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] B.R.Kishore: "On concurrent error detection of asynchronous circuits using mixed-signal approach" IEICE Trans.on Information and Systems. E80-D-I・3. 351-361 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 高村 明裕: "非同期式プロセッサTITAC-IIの論理設計のおける高速化手法" 電子情報通信学会論文誌. J80-D-I・3. 189-196 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 米田 友洋: "プロセス代数に基づく非同期式論理回路の検証" 電子情報通信学会論文誌. J80-D-I・3. 207-217 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 南谷 崇: "非同期式回路/システム設計小特集号の発刊に当たって" 電子情報通信学会論文誌. J80-D-I・3. 179-180 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Takashi Nanya: "FOREWORD:Special Issue on Asynchronous Circuit and system design" IEICE Trans.on Information and Systems. E80-D・3. 285-286 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 大川 保吉: "タイムペトリネットのCTL記号モデル検査" 電子情報通信学会論文誌. J79-A・6. 1194-1203 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Yasukichi Okawa: "Verification of schedulability of real-time systems with extended time Petri nets" International Journal of Mini and Microcomputers. 18・3. 148-156 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.B.Park: "Automatic synthesis of speed-independent circuits from signal transition graph specifications" Proc.of 9th Int.Conf.on VLSI Design. 389-392 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya: "A new perspective on asynchronous VLSI system design(invited paper)" Proc.of 3rd Asia Pacific Conf. on Hardware Description Languages. 120-127 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Maezawa: "Pulse-driven dual-rail logic gate family based on rapid single flux quantum(RSFQ) devices for asynchronous circuits" Proc.ASYNC'96. 134-142 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Tomohiro Yoneda: "Using partial orders for trace theoretic verification of asynchronous circuits" Proc.of Second International Symposium on Advanced Research in Asynchronous Circuits and Systems. 152-163 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Tomohiro Yoneda: "BDDs vs.Zero-Suppressed BDDs:for CTL symbolic model checking of Petri nets" Proc.of Formal Methods in Computer-Aided Design. 435-449 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya: "Pulse-Driven Delay-Insensitive Circuits using Single-Flux-Quantum Devices" Proc.1996 IEEE International Conf.on Computer Design. 419-424 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 籠谷 裕人: "高速非同期式プロセッサ設計のための依存性グラフ並列化アルゴリズムの提案" 1996年電子情報通信学会総合大会講演論文集[6]. 86 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 亀田 義男: "パルス論理における非同期式レジスタ間データ転送" 1996年電子情報通信学会総合大会講演論文集[1]. 113 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 高橋 渡: "パルス駆動型非同期式論理回路のためのレジスタモデル" 1996年電子情報通信学会総合大会講演論文集[1]. 114 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.B.Park: "Design of asynchronous control circuits with unbounded gate delays" 1996年電子情報通信学会総合大会講演論文集[1]. 115 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] R.K.Morizawa: "Translating behavioral descriptions into quasi-delay-insensitive circuits" 1996年電子情報通信学会総合大会講演論文集[1]. 116 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] R.Kishore: "Concurrent error detection for asynchronous circuits using current sensing techniques" 1996年電子情報通信学会総合大会講演論文集[6]. 317-318 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 高村 明裕: "非同期式プロセッサTITAC-2のアーキテクチャ" 1996年電子情報通信学会総合大会講演論文集[6]. 76 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 桑子 雅史: "非同期式プロセッサTITAC-2の論理設計" 1996年電子情報通信学会総合大会講演論文集[6]. 77 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 前沢 正明: "パルス駆動型非同期式論理ゲートの高マージン化" 1996年電子情報通信学会総合大会講演論文集[1]. 112 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 南谷 崇: "VLSI設計・試作パイロットプロジェクト報告" 1996年電子情報通信学会総合大会講演論文集[5]. 337-338 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 安江 一仁: "マイクロ操作の分解による非同期式プロセッサの高速化について" 電子情報通信学会技術研究報告. CPSY96-3. 17-24 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 高村 明裕: "非同期式マイクロプロセッサTITAC-IIのアーキテクチャ" 電子情報通信学会技術研究報告. CPSY96-4. 25-32 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 今井 雅: "非同期式乗算器の設計と試作" 電子情報通信学会技術研究報告. CPSY96-5. 33-40 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] B.R.Kishore: "A mixed-signal approach for on-line testing of asynchronous circuits-a case study" 電子情報通信学会技術研究報告. FTS96-60. 17-24 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 高村 明裕: "非同期式プロセッサTITAC-2の性能評価" 情報処理学会54回全国大会講演論文集(1). 1-89-1-90 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 桑子 雅史: "非同期式プロセッサTITAC-2の同期インタフェース" 情報処理学会54回全国大会講演論文集(1). 1-91-1-92 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 小沢 基一: "非同期式パイプラインの動作解析" 情報処理学会54回全国大会講演論文集(1). 1-93-1-94 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 石川 誠: "非同期式プロセッサTITAC-2のキャッシュ構成" 情報処理学会54回全国大会講演論文集(1). 1-95-1-96 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 藤井 太郎: "非同期式プロセッサTITAC-2のALU構成" 情報処理学会54回全国大会講演論文集(1). 1-97-1-98 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 今井 雅: "レイアウトデータに基づく非同期式加算回路の性能比較" 情報処理学会54回全国大会講演論文集(1). 1-133-1-134 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 深作 泉: "非同期式プロセッサTITAC-2の検証とテスト" 情報処理学会54回全国大会講演論文集(1). 1-99-1-100 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 亀田 義男: "非同期式パルス駆動論理によるALUの設計" 情報処理学会54回全国大会講演論文集(1). 1-131-1-132 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Metehan Ozcan: "Performance Comparison of Synchronous and Asynchronous VLSI Systems" 情報処理学会54回全国大会講演論文集(1). 1-87-1-88 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] R.K.Morizawa: "依存性グラフから非同期式パイプライン回路を生成する一方法" 情報処理学会54回全国大会講演論文集(1). 1-141-1-142 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Sahni: "A synthesis algorithm for asynchronous circuits from STG specifications" 情報処理学会54回全国大会講演論文集(1). 1-153-1-154 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 今井 雅: "配線遅延を考慮した非同期式加算回路の性能評価" 電子情報通信学会技術研究報告. CPSY97. 9-16 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 笠 浩史: "n安全タイムペトリネットの発火規則について" 電子情報通信学会総合大会講演論文集[1]. 504-505 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 柳葉 光: "連立不等式に基づくタイムペトリネットのCTLモデル検査" 電子情報通信学会総合大会講演論文集[1]. 506-507 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 羽鳥 秀幸: "ゼロサプレスBDDによるペトリネットのCTL記号モデル検査" 電子情報通信学会総合大会講演論文集[1]. 508-509 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 森広 芳文: "論理シミュレーションに基づくプロセッサの自動検証" 電子情報通信学会技術研究報告. FTS-96・37. 25-32 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 吉川 宜史: "非同期式回路の検証におけるlivenessクラスに関する考察" 電子情報通信学会技術研究報告. FTS-96・62. 33-40 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 増倉 孝一: "ZBDDに基づく非同期回路の検証方式" 電子情報通信学会技術研究報告. FTS-96・61. 25-32 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Kameda, I.Kurosawa, T.Nanya: "Primitive Elements and Logic Implementation for Pulse-Drinen Asynchronous Circuits" The Trans.of the Institute of Electronics, Information and Communication Engineers D-I. Vol.J79-D-I,No.3. 140-147 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] H.Kagotani, T.Obata, t.Okamoto, T.Nanya: "Dependency Graph Representation of Mutual Exclusion and Its Implementation Using Two-Phase Quasi-Delay-Insensitive Circuit" The Trans.of the Institute of Electronics, Information and Communication Engineers D-I. Vol.J79-D-I,No.5. 237-244 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Okawa, T.Yoneda: "Symbolic CTL Model Checking of Time Petri Nets" The Trans.of the Institute of Electronics, Information and Communication Engineers A. Vol.J79-A,No.6. 1194-1203 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Okawa, T.Yoneda: "Verification of schedulability of real-time systems with extended time Petri nets" Int.Journal of Mini and Microcomputers. Vol.18, No.3. 148-156 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] A.Thongtak, T.Nanya: "Stuck-at-Fault Testing for Quasi-Delay-Insensitive Logic Circuits" The Trans.of the Institute of Electronics, Information and Communication Engineers D-I. Vol.J80-D-I,No.2. 148-154 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya: "Special Issue on Asynchronous Circuit and System Desin" IEICE Trans.on Inf.and Syst.Vol.E80-D,No.3. 285-286 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.B.Park, T.Nanya: "Synthesis of Asynchronous Circuits from Signal Transition Graph Specifications" IEICE Trans.on Inf.and Syst.Vol.E80-D,No.3. 326-335 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] B.R.Kishore, T.Nanya: "On Concurrent Error Detection of Asynchronous Circuits Using Mixed-Signal Approach" IEICE Trans.on Inf.and Syst.Vol.E80-D,No.3. 351-361 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya: "Special Issue on Asynchronous Circuit and System Desin" The Trans.of the Institute of Electronics, Information and Communication Engineers D-I. Vol.J80-D-I,No.3. 179-180 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] A.Takamura, M.Kuwako, T.Nanya: "Performance Enhancement Techniques in Logic Design of Asynchronous Processor TITAC-2" The Trans.of the Institute of Electronics, Information and Communication Engineers D-I. Vol.J80-D-I,No.3. 189-196 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Yoneda, A.Shibayama, T.Nanya: "Verification of Asynchronous Logic Circuit Design Using Process Algebra" The Trans.of the Institute of Electronics, Information and Communication Engineers D-I. Vol.J80-D-I,No.3. 207-217 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.B.Park, T.Nanya: "Automatic synthesis of speed-independent circuits from signal transition graph specifications" Proc.of 9th Int.Conf.on VLSI Design. 389-392 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya: "A new perspective on asynchronous VLSI system design (invited paper)" Proc.of 3rd Asia Pacific Conf.on Hardware Description Languages. 120-127 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Maezawa, I.Kurosawa, Y.Kameda, T.Nanya: "Pulse-driven dual-rail logic gate family based on rapid single flux quantum (RSFQ) devices for asynchronous circuits" Proc.2nd Int.Symp.on Advanced Research in Asynchronous Circuits and Systems (ASYNC'96). 134-142 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Yoneda, T.Yoshikawa: "Using partial orders for trace theoretic verification of asynchronous circuits" Proc.2nd Int.Symp.on Advanced Research in Asynchronous Circuits and Systems (ASYNC'96). 152-163 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Yoneda, H.Hatori, A.Takahara, S.Minato: "SDDs vs.Zero-Suppressed BDDs : for CTL symbolic model cheking of Petrinets" Proc.of Formal Methods in Computer-Aided Design. 435-449 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya, Y.Kameda: "Pulse-Driven Delay-Insensitive Circuits using Single-Flux-Quantum Devices" Proc.1996 IEEE Int.Conf.on Computer Design. 419-424 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Maezawa, Y.Kameda, I.Kurosawa, M.Aoyagi, H.Nakagawa, T.Nanya: "Pulse-driven asynchronous logic gate family with wide parameter margins" Proc.of the 1996 IEICE General Conf.(1). 112 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Kameda, W.Takahashi, M.Maezawa, I.Kurosawa, T.Nanya: "An asynchronous data transfer model on pulse logic" Proc.of the 1996 IEICE General Conf.(1). 113 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] W.Takahashi, Y.Kameda, M.Maezawa, I.Kurosawa, T.Nanya: "A register model for pulse-dreiven asynchronous logic circuits" Proc.of the 1996 IEICE General Conf.(1). 114 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] S.B.Park, T.Nanya: "Design of Asynchronous Control Circuits with Unbounded Gate Delays" Proc.of the 1996 IEICE General Conf.(1). 115 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] R.K.Morizawa, T.Nanya: "Translating Behavioral Descriptions into Quasi-delay-insensitive Circuits" Proc.of the 1996 IEICE General Conf.(1). 116 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] H.Ryu, T.Yoneda: "On firing rules of n-safe time Petrinets" Proc.of the 1996 IEICE General Conf.(1). 504-505 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] H.Ryuba, T.Yoneda: "CTL model checking for time Petrinets based on sets of inequalities" Proc.of the 1996 IEICE General Conf.(1). 506-507 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] H.Hatori, T.Yoneda, A.Takahara, S.Minato: "CTL symbolic model checking for Petri nets using Zero-Suppressed BDDs" Proc.of the 1996 IEICE General Conf.(1). 508-509 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Nanya: "Report on Pilot Project for VLSI Implementation Service System" Proc.of the 1996 IEICE General Conf.(5). 337-338 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] A.Takamura, M.Kuwako, Y.Ueno, t.Nanya: "Architecture of 32-bit Asynchronous Processor TITAC-2" Proc.of the 1996 IEICE General Conf.(6). 76 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Kuwako, A.Takamura, M.Imai, Y.Ueno, T.Nanya: "Logic Design of 32-bit Asynchronous Processor TITAC-2" Proc.of the 1996 IEICE General Conf.(6). 77 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] H.Kagotani, M.Sugimoto, T.Okamoto, T.Nanya: "Parallelization of Dependency Graphs for High-Speed Quasi-Delay-Insensitive Processor Design" Proc.of the 1996 IEICE General Conf.(6). 86 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] B.R.Kishore, M.Imai, T.Nanya: "Concurrent Error Detection for Asynchronous Circuits using Current Sensing Techniques" Proc.of the 1996 IEICE General Conf.(6). 317-318 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] K.Yasue, R.K.Morizawa, H.Kagotani, T.Nanya: "Optimization of Asynchronous Processors through the Decomposition of Micro-operations" Technical Report of IEICE. CPSY96-3. 17-24 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] A.Takamura, M.Kuwako, Y.Ueno, T.Nanya: "Architecture of Asynchronous Processor TITAC-2" Technical Report of IEICE. CPSY96-4. 25-32 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Imai, T.Fujii, Y.Ueno, T.Nanya: "Design and Implementation of an asynchronous multiplier" Techonical Report of IEICE. CPSY96-5. 33-40 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Morihiro, T.Yoneda: "Automatic Verification of Processors based on Logic Simulation" Technical Report of IEICE. FTS96-37. 25-32 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] B.R.Kishore, T.Nanya: "A Mixed-Signal Approach for On-line Testing of Asynchronous Circuits-A Case Study" Technical Report of IEICE. FTS96-60. 17-24 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] K.Masukura, T.Yoneda: "Verification of Asynchronous circuits-based on ZBDD" Technical Report of IEICE. FTS96-61. 25-32 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Yoshikawa, T.Yoneda: "Study of liveness classes for asynchronous circuit verification" Technical Report of IEICE. FTS96-62. 33-40 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Ozcan, T.Nanya: "Performance Comparison of Synchronous and Asynchronous VLSI Systems" Proc.of the 54th Annual Convention IPS Janpan (1). 87-88 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] A.Takamura, M.Kuwako, M.Ozawa, Y.Ueno, T.Nanya: "Evaluation of Asynchronous Professor TITAC-2" Proc.of the 54th Annual Convention IPS Janpan (1). 89-90 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Kuwako, A.Takamura, Y.Ueno, T.Nanya: "Synchronous Interface of Asynchronous Processor TITAC-2" Proc.of the 54th Annual Convention IPS Janpan (1). 91-92 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Ozawa, A.Takamura, Y.Ueno, T.Nanya: "Behavior Analysis of Asynchornous Pipelines" Proc.of the 54th Annual Convention IPS Janpan (1). 93-94 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Ishikawa, M.Kuwako, A.Yamazaki, Y.Ueno, T.Nanya: "Instruction Cache for Asynchronous Professor TITAC-2" Proc.of the 54th Annual convention IPS Janpan (1). 95-96 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Fujii, M.Imai, Y.Ikeda, N.Ishida, S.Nishikawa, Y.Ueno, T.Nanya: "ALU Design of Asynchronous Processor TITAC-2" Proc.of the 54th Annual convention IPS Janpan (1). 97-98 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] I.Fukasaku, A.Takamura, M.Ozawa, Y.Ueno, T.Nanya: "Verification and testing of the asychronous Professor TITAC-2" Proc.of the 54th Annual convention IPS Janpan (1). 99-100 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Kameda, T.Nanya: "ALU design on the pulse-deriven Logic" Proc.of the 54th Annual convention IPS Janpan (1). 131-132 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Imai, T.Fujii, Y.Ueno, T.Nanya: "Performance Comparison of Asynchronous Adders based on Layout Data" Proc.of the 54th Annual convention IPS Janpan (1). 131-132 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] R.K.Morizawa, Y.Ueno, T.Nanya: "A Method for Genrationg Asynchronous Pipeline Circuits from Dependency Graph" Proc.of the 54th Annual convention IPS Janpan (1). 141-142 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Sahni, T.Nanya: "Synthesis Algorithm for Asynchronous Circuits from STG specifications" Proc.of the 54th Annual convention IPS Janpan (1). 153-154 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] M.Imai, T.Nanya: "Performance comparison of asynchronous adders considering wire delays" Technical Report of IEICE. CPSY97. 9-16 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Elias P.DUARTE Jr.: "An SNMP-based Implementation of the Adaptive Distributed System-level Diagnosis Algorithm for LAN Fault Management" IEEE/IFIP 1996 Network Operations and Management Symp.(NOMS'96). 530-539 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takashi NANYA: "Pulse-Driven Delay-Insensitive Circuits using Single-Flux-Quantum Devices" Proc.1996 IEEE Int.Conf.on Computer Design. 419-424 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Elias P.DUARTE Jr.: "Hierarchical adaptive distributed system-level diagnosis applied for SNMP-based network fault management" Proc.15th Int.Symp.on Reliable Distributed Systems. 98-107 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] ア-ティット トンタック: "非同期式論理回路の縮退故障テスト" 電子情報通信学会論文誌. J80-D-I・2. 1-9 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Sung-Bum PARK: "Synthesis of asynchronous circuits from signal transition graph specifications" IEICE Tranc.on Information and Systems. E80-D-I・3. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] B.Ravi KISHORE: "On concurrent error detection of asynchronous circuits using mixed-signal approach" IEICE Tranc.on Information and Systems. E80-D-I・3. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高村 明裕: "非同期式プロセッサTITAC-IIの論理設計における高速化手法" 電子情報通信学会論文誌. J80-D-I・3. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 米田 友洋: "プロセス代数に基づく非同期式論理回路の検証" 電子情報通信学会論文誌. J80-D-I・3. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Elias P.DUARTE Jr.: "Non-Broadcast Network Fault-Monitoring Based on System-Level Diagnosis" Int.Symp.on Integrated Network Management. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 安江 一仁: "マイクロ操作の分解による非同期式プロセッサの高速化について" 電子情報通信学会技術研究報告. CPSY96-3. 17-24 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高村 明博: "非同期式マイクロプロセッサTITAC-IIのアーキテクチャ" 電子情報通信学会技術研究報告. CPSY96-4. 25-32 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 今井 雅: "非同期式乗算器の設計と試作" 電子情報通信学会技術研究報告. CPSY96-5. 33-40 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 高村 明裕: "非同期式プロセッサTITAC-2の性能評価" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 桑子 雅史: "非同期式プロセッサTITAC-2の同期インターフェス" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 小沢 基一: "非同期式パイプラインの動作解析" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 石川 誠: "非同期式プロセッサTITAC-2のキャッシュ構成" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 藤井 太郎: "非同期式プロセッサTITAC-2のALU構成" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 今井 雅: "レイアウトデータに基づく非同期式加算回路の性能比較" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 深作 泉: "非同期式プロセッサTITAC-2の検証とテスト" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 亀田 義男: "非同期式パルス駆動論理によるALUの設計" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Metehan OZCAN: "Performance Comparison of Synchronous and Asynchronous VLSI Systems" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Rafael K.MORIZAWA: "依存性グラフから非同期式パイプライン回路を生成する一方法" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Mohit SAHNI: "A synthesis algorithm for asynchronous circuits from STG specifications" 情報処理学会第54回全国大会. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 籠谷 裕人: "2相式非同期回路の高速化" 電子情報通信学会論文誌. J78-D-I. 416-423 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Stanislaw J. Piestrak: "Towards Totally Self-Checking Delay-Insensitive Systems" Proc. 25th Int. Symp. on Fault-Tolerant Computing. 228-237 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Ryuichi Takahashi: "Multilevel Logic Design for Testability Using Orthonormal Expansions" Proc. Int. Workshop on Logic Synthesis. 6-41-6-46 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] I. Kurosawa: "A Basic Circuit for Asynchronous Superconductive Logic Using RSFQ Gates" Proc. 5th Int. Superconductive Electronics Conf.204-206 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Sung-Bum Park: "Automatic Synthesis of Speed-Independent Circuits from Signal Transition Graph Specifications" Proc. of 9th Int. Conf. on VLSI Design. 389-392 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] Takashi Nanya: "A New Perspective on Asynchronous VLSI System Design (invited paper)" Proc. of 3rh Asia Pacific Conf. on Hardware Description Languages. 120-127 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] M. Maewaza: "Pulse-Driven Dual-Rail Logic Gate Family Based on Rapid Single Flux Quantum(RSFQ) Devices for Asynchronous Circuits" Proc. of ASYNC'96. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 亀田 義男: "パルス駆動型非同期式回路の基本素子モデルと組合せ論理回路構成" 電子情報通信学会論文誌. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 籠谷 裕人: "相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現" 電子情報通信学会論文誌. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 上野 洋一郎: "BDD表現からの非同期式組合せ回路の構成法" 電子情報通信学会技術研究報告. FTS95-11. 1-8 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 高村 明裕: "非同期式回路に適した性能指向レイアウトの一手法" 電子情報通信学会技術研究報告. FTS95-12. 9-14 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 籠谷 裕人: "相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現" 電子情報通信学会技術研究報告. FTS95-30. 57-64 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 高村 明裕: "非同期式マイクロプロセッサTITAC-IIのアーキテクチャ" 電子情報通信学会技術研究報告. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 今井 雅: "非同期式乗算器の設計と試作" 電子情報通信学会技術研究報告. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 安江 一仁: "マイクロ操作の分解による非同期式プロセッサの高速化について" 電子情報通信学会技術研究報告. (1996)

    • Related Report
      1995 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi