Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation
Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation
批准号:
60460133
负责人:
YAJIMA Shuzo
金额:
$4.74万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for General Scientific Research (B)
财政年份:
1985
资助国家:
日本
项目状态:
已结题
起止时间:
1985 至 1986
中文摘要
在一个复杂的超大规模集成电路的设计和开发中,为了实现高性能的电路,首先设计其硬件算法是非常重要的。从这一点出发,我们进行了研究的VLSI面向硬件算法的设计使用冗余表示。主要研究结果如下:1.用冗余表示法设计硬件算法我们提出了用冗余二进制表示法实现初等函数的高速硬件算法。冗余二进制表示法使实现等深度加法器和减法器成为可能。利用这些加法器和减法器,我们设计了各种基本功能的高速电路.利用复杂的数据表示和数据结构设计面向VLSI的硬件算法我们提出了一种<OMICRON>基于剩余数表示的(log n)深度n位二进制除法算法,并在此基础上设计了一个除法器,此外,我们还提出了一种基于项图的高速硬件合一算法.高速硬件算法的冗余编码我们提出了冗余编码的方法,使得对剩余类和有限阿贝尔群进行运算的恒时硬件算法的实现成为可能.一种适合于逐步求精的硬件设计语言我们提出了一种硬件设计语言,它可以用硬件算法描述硬件的层次逻辑设计。
英文摘要
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:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Naofumi Takagi: "Hardware Algorithms for Arithmetic Operations" Journal of Information Processing Society of Japan. 26. 632-639 (1985)
Naofumi Takagi:“算术运算的硬件算法”日本信息处理学会杂志。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
高木直史: 電子通信学会論文誌. J69-D. 841-847 (1986)
Naofumi Takagi:电子与通信工程师协会学报 J69-D 841-847 (1986)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
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:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Kazuo Iwama: "Introduction to Combinatorial Algorithms" Mathematical Sciences. 285. 21-28 (1987)
Kazuo Iwama:《组合算法导论》数学科学。
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
-
依托单位:
Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design
-
批准号:02452162
-
项目类别:Grant-in-Aid for General Scientific Research (B)
-
资助金额:$3.71万
-
财政年份:1990
-
负责人:YAJIMA Shuzo
-
依托单位:
Research on Development of a Logic Design Verification System Based on Time-Symbolic Simulation
-
批准号:01850074
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B).
-
资助金额:$5.25万
-
财政年份:1989
-
负责人:YAJIMA Shuzo
-
依托单位:
Researches on the Design of Highly Reliable High-Speed Arithmetic Circuits with Redundant Coding
-
批准号:63460134
-
项目类别:Grant-in-Aid for General Scientific Research (B)
-
资助金额:$4.1万
-
财政年份:1988
-
负责人:YAJIMA Shuzo
-
依托单位:
Research on Development of High-Speed Logic Simulators Using a Vector Processor and Logic Design Verification Systems
-
批准号:61850062
-
项目类别:Grant-in-Aid for Developmental Scientific Research
-
资助金额:$4.67万
-
财政年份:1986
-
负责人:YAJIMA Shuzo
-
依托单位:
Developmental Research on Interactive Logic Simulator-Verifier with High-Level Hardware Description
-
批准号:59850059
-
项目类别:Grant-in-Aid for Developmental Scientific Research
-
资助金额:$4.99万
-
财政年份:1984
-
负责人:YAJIMA Shuzo
-
依托单位: