Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation

采用冗余表示的面向VLSI的硬件算法设计研究

基本信息

  • 批准号:
    60460133
  • 负责人:
  • 金额:
    $ 4.74万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
  • 财政年份:
    1985
  • 资助国家:
    日本
  • 起止时间:
    1985 至 1986
  • 项目状态:
    已结题

项目摘要

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.
在复杂VLSI的设计和开发中,为了实现高性能的电路,首先设计其硬件算法是非常重要的。从这一角度出发,我们开展了面向VLSI的冗余表示硬件算法设计研究。主要研究结果如下:1.基于冗余表示的硬件算法设计本文提出了基于冗余二进制表示的初等函数的高速硬件算法。冗余的二进制表示使得实现恒定深度的加法器和减法器成为可能。利用这些加法器和减法器,我们设计了各种基本功能的高速电路。利用复杂的数据表示和数据结构设计面向VLSI的硬件算法我们提出了一种基于剩余数表示的(Logn)深度n位二进制除法算法,并设计了一个基于该算法的除法器。在此基础上,提出了一种基于术语图数据结构的高速硬件合一算法。针对高速硬件算法的冗余编码,提出了冗余编码方法,实现了对剩余类运算和有限阿贝尔群运算的恒定时间硬件算法。适合逐步求精的硬件设计语言我们提出了一种能够描述硬件层次逻辑设计的硬件设计语言及其硬件算法。

项目成果

期刊论文数量(36)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
高木直史: 電子通信学会論文誌. J69-D. 1-10 (1986)
Naofumi Takagi:电子与通信工程师协会学报 J69-D。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Naofumi Takagi: "Hardware Algorithms for Arithmetic Operations" Journal of Information Processing Society of Japan. 26. 632-639 (1985)
Naofumi Takagi:“算术运算的硬件算法”日本信息处理学会杂志。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
高木直史: 電子通信学会論文誌. J69-D. 841-847 (1986)
Naofumi Takagi:电子与通信工程师协会学报 J69-D 841-847 (1986)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Naofumi Takagi: "A Hardware Algorithm for Computing Sine and Cosine Using Redundant Binary Representation" The Transactions of the Institute of Electronics and Communication Engineers. J69-D. 841-847 (1986)
Naofumi Takagi:“使用冗余二进制表示计算正弦和余弦的硬件算法”电子与通信工程师学会汇刊。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Kazuo Iwama: "Introduction to Combinatorial Algorithms" Mathematical Sciences. 285. 21-28 (1987)
Kazuo Iwama:《组合算法导论》数学科学。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

YAJIMA Shuzo其他文献

YAJIMA Shuzo的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('YAJIMA Shuzo', 18)}}的其他基金

Research on Development of Formal Logic Design Verifier for Microprocessors
微处理器形式逻辑设计验证器的开发研究
  • 批准号:
    07558155
  • 财政年份:
    1995
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Basic Research on High-Speed Boolean Function Manipulator
高速布尔函数操纵器的基础研究
  • 批准号:
    05452352
  • 财政年份:
    1993
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
Research on Formal Verifier of Logic Design Based on Temporal Logic
基于时态逻辑的逻辑设计形式验证器研究
  • 批准号:
    05558030
  • 财政年份:
    1993
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B)
Research on Development of Logic Synthesizer and Design Verifier for Sequential Circuits Based on Boolean Function Manipulation
基于布尔函数操作的时序电路逻辑综合器和设计验证器的开发研究
  • 批准号:
    03555074
  • 财政年份:
    1991
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B)
Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design
使用共享二元决策图有效操作布尔函数的研究及其在计算机辅助逻辑设计中的应用
  • 批准号:
    02452162
  • 财政年份:
    1990
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
Research on Development of a Logic Design Verification System Based on Time-Symbolic Simulation
基于时间符号仿真的逻辑设计验证系统开发研究
  • 批准号:
    01850074
  • 财政年份:
    1989
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B).
Researches on the Design of Highly Reliable High-Speed Arithmetic Circuits with Redundant Coding
高可靠冗余编码高速运算电路设计研究
  • 批准号:
    63460134
  • 财政年份:
    1988
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
Research on Development of High-Speed Logic Simulators Using a Vector Processor and Logic Design Verification Systems
使用矢量处理器和逻辑设计验证系统的高速逻辑模拟器的开发研究
  • 批准号:
    61850062
  • 财政年份:
    1986
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research
Developmental Research on Interactive Logic Simulator-Verifier with High-Level Hardware Description
具有高级硬件描述的交互式逻辑仿真验证器的发展研究
  • 批准号:
    59850059
  • 财政年份:
    1984
  • 资助金额:
    $ 4.74万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了