RIA: Spectral-Based Numerical Methods for Combinational Logic Synthesis

RIA：基于谱的组合逻辑综合数值方法

• 批准号: 9410822
• 负责人: Sukumaran Nair
• 金额: $ 10万
• 依托单位: Southern Methodist University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-07-01 至 1997-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9410822&HistoricalAwards=false
• 关键词: RIA; Spectral; Based; Numerical; Methods

This research is on numerical methods for digital logic synthesis based on spectral information of the logic description. The approach is to use the BDD description of the circuits to develop efficient methods for computing the spectral coefficients. Because of the numerical nature of the algorithms, design optimizations can be included in the synthesis process, rather than later. Theoretical results are being derived and used to implement a new class of synthesis algorithms that are suitable for incorporation into existing design environments. The algorithms are being tested on industry benchmarks.

本文研究了基于逻辑描述谱信息的数字逻辑综合的数值方法。该方法是利用电路的BDD描述来开发计算谱系数的有效方法。由于算法的数值性质，设计优化可以包括在综合过程中，而不是以后。理论结果被导出并用于实现一类适合纳入现有设计环境的新合成算法。这些算法正在行业基准上进行测试。