RIA: Spectral-Based Numerical Methods for Combinational Logic Synthesis

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

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.