课题基金 / 基金详情

Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation

Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation
采用冗余表示的面向VLSI的硬件算法设计研究
批准号:
60460133
负责人:
YAJIMA Shuzo
金额:
$4.74万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for General Scientific Research (B)
财政年份:
1985
资助国家:
日本
项目状态:
已结题
起止时间:
1985 至 1986

项目摘要

项目成果

YAJIMA Shuzo的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In a design and development of complex VLSI, it is very important to design its hardware algorithm first so that we can realize high performance circuit. From this point of view, we have performed researches on design of VLSI oriented hardware algorithms using redundant representation. The main results are listed below:1. Desing of Hardware Algorithms Using Redundant RepresentationWe proposed high speed hardware algorithms for elementary functions using a redundant binary representation. The redundant binary representation makes it possible to realize adder and subtracter of constant depth. By using these adder and subtracter, we have designed high speed circuits for various elementary functions.2. Design of VLSI Oriented Hardware Algorithms by Means of Sophisticated Data Expressions and Data StructuresWe have proposed an <OMICRON> (log n) depth n-bit binary division algorithm using residue number representation and designed a divider based on it. Furthermore, we proposed a high speed hardware algorithm for unification based on a new data structure named term graph.3. Redundant Coding for High Speed Hardware AlgorithmsWe have proposed redundant coding methods which makes it possible to realize constant time hardware algorithms for operations on residue class and finite Abelian group.4. Hardware Design Language Suitable for Step by Step RefinementWe have proposed a hardware design language which can describe hierarchical logic design of hardware with its hardware algorithms.
期刊论文(36)
专著(0)
科研奖励(0)
会议论文
高木直史: 電子通信学会論文誌. J69-D. 1-10 (1986)
Naofumi Takagi:电子与通信工程师协会学报 J69-D。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
高木直史: 電子通信学会論文誌. J69-D. 841-847 (1986)
Naofumi Takagi:电子与通信工程师协会学报 J69-D 841-847 (1986)。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
18
    Research on Development of Formal Logic Design Verifier for Microprocessors
    • 批准号:
      07558155
    • 项目类别:
      Grant-in-Aid for Scientific Research (A)
    • 资助金额:
      $1.41万
    • 财政年份:
      1995
    • 负责人:
      YAJIMA Shuzo
    • 依托单位:
    Basic Research on High-Speed Boolean Function Manipulator
    • 批准号:
      05452352
    • 项目类别:
      Grant-in-Aid for General Scientific Research (B)
    • 资助金额:
      $4.35万
    • 财政年份:
      1993
    • 负责人:
      YAJIMA Shuzo
    • 依托单位:
    Research on Formal Verifier of Logic Design Based on Temporal Logic
    • 批准号:
      05558030
    • 项目类别:
      Grant-in-Aid for Developmental Scientific Research (B)
    • 资助金额:
      $6.85万
    • 财政年份:
      1993
    • 负责人:
      YAJIMA Shuzo
    • 依托单位:
    Research on Development of Logic Synthesizer and Design Verifier for Sequential Circuits Based on Boolean Function Manipulation
    • 批准号:
      03555074
    • 项目类别:
      Grant-in-Aid for Developmental Scientific Research (B)
    • 资助金额:
      $5.31万
    • 财政年份:
      1991
    • 负责人:
      YAJIMA Shuzo
    • 依托单位: