Development of A Silicon Complilation System for Rewritable LSIs
Development of A Silicon Complilation System for Rewritable LSIs
批准号:
02555073
负责人:
SASAO Tsutomu
金额:
$2.82万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Developmental Scientific Research (B)
财政年份:
1990
资助国家:
日本
项目状态:
已结题
起止时间:
1990 至 1992
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Field programmable gate arrays (FPGAs) are devices that can be programmed by the user to implement a logic function. Because of short turnaround time, they are becoming increasingly important for rapid prototyping. In addition, they are inexpensive to manufacture. All FPGA architectures consist of repeated arrays of identical logic blocks. A logic block is a versatile configuration of logic elements that can be programmed by the user. The interconnections for the circuit are also programmed. Among various FPGA architectures, we consider the Look up table(LUT) type FPGA where each logic block can realize an arbitrary 5 variable function. In such a FPGA., both logic bloc ks and the interconnections are programmable.In this research, we developed a method for designing LUT type FPGAs by functional decomposition. LUT type FPGAs consists of 5-input LUTs. The outline of the method is 1) Find a decomposition of the form f=g (h(X1),X2), where X2 contains two variables, and the column multiplicities are equal to or less than 8. We have developed an efficient way to find such a decomposition by using Binary Decision Diagrams (BDDs). A function whose column multiplicity is equal to or less than eight is realized by a network for h(X1) with three outputs, followed by a 5-input LUT. The LUT has three inputs from the network for h(X1), and two inputs for X2.2) Decompose the functions recursively until the functions can be realized by 5-input LUTs. This algorithm produced solutions competitive to the previously published methods. Produced networks have regular interconnections, and easily implemented by FPGAs.As a design method for FPGAs, we also developed a design method for AND-EXOR circuits. In many cases, AND-EXOR circuits require fewer connections and gates than AND-OR circuits to realize same function.
期刊论文(47)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
N. Koda and T. Sasao: "AND-EXOR expressions and their equivalence classes,(in Japanese)" National Convention of IEICE Japan. A-119. (1991)
N. Koda 和 T. Sasao:“AND-EXOR 表达式及其等价类,(日语)”日本 IEICE 全国大会。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
N. Koda and T. Sasao: "An upper bound on the number of product terms in AND-EXOR minimum expressions,(in Japanese)" Trans. IEICE Japan. Vol.J75-D-1,No.3. 135-142 (1992)
N. Koda 和 T. Sasao:“AND-EXOR 最小表达式中乘积项数量的上限,(日语)” Trans。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
T. Sasao: "EXMIN2: A tool for EXOR logic synthesis" Proceedings of the Synthesis and Simulation Meeting and International Interchange. APRIL. 06. 46-53 (1992)
T. Sasao:“EXMIN2:EXOR 逻辑综合工具”综合与模拟会议及国际交流会议论文集。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
T. Sasao, and T. Amada: "A method to generate prime implicants using ternary decision diagrams, "(in Japanese)" IEICE Technical Paper. FTS92-74. (1993)
T. Sasao 和 T. Amada:“使用三元决策图生成素蕴涵项的方法”,(日语)”IEICE 技术论文。FTS92-74。(1993 年)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
N. Koda and T. Sasao: "LP characteristic vector of logic function and its application to the minimization of AND-EXOR expressions,(in Japanese)" IEICE Technical Paper. FTS92-75. (1993)
N. Koda 和 T. Sasao:“逻辑函数的 LP 特征向量及其在 AND-EXOR 表达式最小化中的应用,(日语)”IEICE 技术论文。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 46 条
Logic synthesis using linear transformation and memories.
-
批准号:23300016
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$5.82万
-
财政年份:2011
-
负责人:SASAO Tsutomu
-
依托单位:
A study on the realization and application of content-addressable memory using general-purpose memory
-
批准号:19300013
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$5.08万
-
财政年份:2007
-
负责人:SASAO Tsutomu
-
依托单位:
Research on programmable logic elements using the virtual wiring and their logic synthesis method
-
批准号:14380146
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$5.57万
-
财政年份:2002
-
负责人:SASAO Tsutomu
-
依托单位:
Development of hardware logic simulator using decision diagrams
-
批准号:12558030
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.93万
-
财政年份:2000
-
负责人:SASAO Tsutomu
-
依托单位:
Studies on logic design and testing methodology for very high performance VLSIs
-
批准号:11694168
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$2.18万
-
财政年份:1999
-
负责人:SASAO Tsutomu
-
依托单位:
Decomposition of Large-Scale Logic Functions
-
批准号:10680360
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:1998
-
负责人:SASAO Tsutomu
-
依托单位:
A Research on the realization of three-level logic networks
-
批准号:08680374
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.54万
-
财政年份:1996
-
负责人:SASAO Tsutomu
-
依托单位:
A Research on the development of a logic synthesis system using EXOR gates
-
批准号:05558032
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B)
-
资助金额:$2.62万
-
财政年份:1993
-
负责人:SASAO Tsutomu
-
依托单位:
A Research on the Representation and Manipulation of Logical Expressions using Ternary Decision Diagrams
-
批准号:05680279
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1993
-
负责人:SASAO Tsutomu
-
依托单位:
Logic synthesis using EXOR gates
-
批准号:02805046
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1990
-
负责人:SASAO Tsutomu
-
依托单位:
Decomposition of large-scale Programmable logic arrays
-
批准号:63550274
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.15万
-
财政年份:1988
-
负责人:SASAO Tsutomu
-
依托单位:
海外基金