Studies on Logic Design Methods Adaptable to CAD DB

适应CAD DB的逻辑设计方法研究

基本信息

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

项目摘要

Reuse of design data and design automation of logic circuits becomes important because logic circuits become to have large and complex structure. Though the CAD database is an indispensable technology to realize reuse of design data, it is difficult to integrate existing design methods and database technology as it is. Thus we have studied and improved design methods of logic circuits suitable for databases, which realize the CAD database. The themes of this research includes an improvement of the transduction method, development of a method for FPGA logic circuit design, development of a reuse technique of logic circuits, and development of a technique for saving power consumption of logic circuits.In 1998, we have developed SSPFs (Super Set of Permissible Functions) that extend CSPFs (Compatible Sets of Permissible Functions) used by the transduction method and increased the degree of freedom in transformation of logic circuits. We also have proposed PSPFDs (Priority based SPFDs) tha … More t generalize the notion of SPFDs representing the logical degree of freedom of FPGA circuits and achieved a 40% reduction in the area of circuits. We have proposed a new algorithm for logic circuit design with saving power consumption that uses 3-state CMOS and realized the function assignment considering saving power consumption.In 1999, we have developed two methods : a method that applies simulated annealing, one of metaheuristics, to the transduction method, and a method of logic optimization based on the notion of PF (Permissible Function) used by the transduction method for a pass transistor logic that is expected to realize more low power consumption circuits than existing CMOS logic.In 2000, first, we have improved the optimization method for pass transistor logic circuits. we have found errors in a book of logic circuits, published more than 35 years ago, that collects minimal circuits calculated by hand by the improved method. Secondly, the development of a optimization method of CMOS logic have progressed. We have applied the method to the pass transistor logic that developed the preceding year for decreasing the number of transistors in logic gates. We also have introduced and applied the transduction method to reduce the number of logic gates. More effective optimization method of logic circuits have been developed by integrating the CMOS logic optimization method and the transduction method. Less
由于逻辑电路变得具有庞大且复杂的结构,因此设计数据的重用和逻辑电路的设计自动化变得重要。虽然CAD数据库是实现设计数据重用不可缺少的技术,但现有的设计方法和数据库技术很难原样集成。由此我们研究并改进了适用于数据库的逻辑电路设计方法,实现了CAD数据库。本研究的主题包括改进换算方法、开发FPGA逻辑电路设计方法、开发逻辑电路的重用技术以及开发节省逻辑电路功耗的技术。1998年,我们开发了SSPF(超级允许函数集),扩展了换算方法所使用的CSPF(兼容的允许函数集)并增加了变换的自由度 逻辑电路。我们还提出了 PSPFD(基于优先级的 SPFD),概括了代表 FPGA 电路逻辑自由度的 SPFD 概念,并实现了电路面积减少 40%。我们提出了一种使用三态CMOS的节省功耗的逻辑电路设计新算法,并实现了考虑节省功耗的功能分配。1999年,我们开发了两种方法:一种将元启发式模拟退火应用于换能方法,以及一种基于传输晶体管逻辑的换能方法所使用的PF(允许函数)概念的逻辑优化方法, 有望实现比现有CMOS逻辑更低功耗的电路。2000年,我们首先改进了传输晶体管逻辑电路的优化方法。我们在一本 35 多年前出版的逻辑电路书中发现了错误,该书收集了用改进的方法手工计算的最小电路。其次,CMOS逻辑优化方法的开发取得了进展。我们已将该方法应用于前一年开发的传输晶体管逻辑,以减少逻辑门中的晶体管数量。我们还引入并应用了转导方法来减少逻辑门的数量。将CMOS逻辑优化方法与换能方法相结合,发展出更有效的逻辑电路优化方法。较少的

项目成果

期刊论文数量(45)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Takenori Kouda: "Reduction of the Number of FPGA Blocks by Maximizing Flexibility of Intrenal Functions" IEICE Trans, Special Section on VLSI Design and CAD Algorithm. 2554-2562 (1998)
Takenori Kouda:“通过最大化内部功能的灵活性来减少 FPGA 模块的数量”IEICE Trans,VLSI 设计和 CAD 算法的特别章节。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Takenori Kouda: "Reduction of the Number of FPGA Blocks by Maximizing Flexibility of Internal Functions"IEICE Trans,Special Section on VLSI Design and CAD Algorithm. 2554-2562 (1998)
Takenori Kouda:“通过最大限度地提高内部功能的灵活性来减少 FPGA 块的数量”IEICE Trans,VLSI 设计和 CAD 算法的特别部分。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
K.Cheng: "Advanced Replacement Policies for WWW Caching"Proc.1st International Conference on Web Age Information Management (WAIM'2000). LNCS1846. 239-244 (2000)
K.Cheng:“WWW 缓存的高级替换策略”Proc.第一届网络时代信息管理国际会议 (WAIM2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Y.Zhang: "On Interactions between Coexisting Traditional and Cooperative Transactions"International Journal of Cooperative Information Systems. Vol.8. 87-109 (1999)
Y.Zhang:“论共存的传统交易与合作交易之间的相互作用”国际合作信息系统杂志。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Lee,R.: "Data Security for Distributed Meeting Systems"Database and Expert Systems Applications, Proceedings of 11th International Conference, DEXA2000. LNCS1873. 274-286 (2000)
Lee,R.:“分布式会议系统的数据安全”数据库和专家系统应用,第 11 届国际会议论文集,DEXA2000。
  • 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 }}

KAMBAYASHI Yahiko其他文献

KAMBAYASHI Yahiko的其他文献

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

{{ truncateString('KAMBAYASHI Yahiko', 18)}}的其他基金

Studies on Design and Development of Web Data Warehouse
Web数据仓库的设计与开发研究
  • 批准号:
    13480103
  • 财政年份:
    2001
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Studies on Internet Database and its Applications
互联网数据库及其应用研究
  • 批准号:
    12792015
  • 财政年份:
    2000
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for University and Society Collaboration
Studies on Cooperative Information Systems
协同信息系统研究
  • 批准号:
    10044154
  • 财政年份:
    1998
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B).
Development of High-Level Query Processing Mechanisms for Networked Multimedia Databases
网络多媒体数据库高级查询处理机制的开发
  • 批准号:
    07558163
  • 财政年份:
    1995
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Studies on Wide-Area Distributed Coordination Mechanisms
广域分布式协调机制研究
  • 批准号:
    07044143
  • 财政年份:
    1995
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for international Scientific Research
Realization of Distributed Cooperative Work Environment and Its Application to Virtual Offices
分布式协同工作环境的实现及其在虚拟办公室中的应用
  • 批准号:
    06402061
  • 财政年份:
    1994
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Studies on DA and Intelligent CAD DB for VLSI Design
超大规模集成电路设计中的DA和智能CAD DB研究
  • 批准号:
    04044085
  • 财政年份:
    1992
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for international Scientific Research
Studies on Multimedia Database Systems with Advanced View Functions
具有高级视图功能的多媒体数据库系统研究
  • 批准号:
    03452289
  • 财政年份:
    1991
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
Studies on Object Oriented Data Models for High-Level Database Applications
高级数据库应用的面向对象数据模型研究
  • 批准号:
    01302059
  • 财政年份:
    1989
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Co-operative Research (A)
Studies on High-Speed Transaction Machines Utilizing Hardware Concurrency Control Mechanisms
利用硬件并发控制机制的高速交易机研究
  • 批准号:
    63850068
  • 财政年份:
    1988
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B).

相似海外基金

Heuristic Minimization Techniques for Reversible Logic Synthesis
可逆逻辑综合的启发式最小化技术
  • 批准号:
    RGPIN-2014-06455
  • 财政年份:
    2019
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
Heuristic Minimization Techniques for Reversible Logic Synthesis
可逆逻辑综合的启发式最小化技术
  • 批准号:
    RGPIN-2014-06455
  • 财政年份:
    2017
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
Logic Synthesis for Reversible and Traditional Logic Circuits
可逆和传统逻辑电路的逻辑综合
  • 批准号:
    261211-2012
  • 财政年份:
    2016
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
SHF: Small: New Directions in Groebner Basis based Verification using Logic Synthesis Techniques
SHF:小:使用逻辑综合技术进行基于 Groebner 基础的验证的新方向
  • 批准号:
    1619370
  • 财政年份:
    2016
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Standard Grant
Hierarchical results on complexity classes and methods for evaluating logic synthesis systems
复杂性类别的分层结果和评估逻辑综合系统的方法
  • 批准号:
    16K00020
  • 财政年份:
    2016
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Heuristic Minimization Techniques for Reversible Logic Synthesis
可逆逻辑综合的启发式最小化技术
  • 批准号:
    RGPIN-2014-06455
  • 财政年份:
    2016
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
Logic Synthesis for Reversible and Traditional Logic Circuits
可逆和传统逻辑电路的逻辑综合
  • 批准号:
    261211-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
Heuristic Minimization Techniques for Reversible Logic Synthesis
可逆逻辑综合的启发式最小化技术
  • 批准号:
    RGPIN-2014-06455
  • 财政年份:
    2015
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
Heuristic Minimization Techniques for Reversible Logic Synthesis
可逆逻辑综合的启发式最小化技术
  • 批准号:
    RGPIN-2014-06455
  • 财政年份:
    2014
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
Logic Synthesis for Reversible and Traditional Logic Circuits
可逆和传统逻辑电路的逻辑综合
  • 批准号:
    261211-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 7.42万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了