Encoding Large Asynchronous Controllers With ILP Techniques
Encoding Large Asynchronous Controllers With ILP Techniques
复制标题
使用 ILP 技术对大型异步控制器进行编码
DOI：
10.1109/tcad.2007.907238
复制
发表时间：
2008
影响因子：
2.9
通讯作者：
J. Cortadella
中科院分区：
文献类型：
--
作者：
J. Carmona;J. Cortadella
状态编码是异步控制器综合中最困难的问题之一。本文提出了一种可以解决用信号转换图指定的大型控制器问题的方法。该方法基于Petri网的结构理论，并使用整数线性规划在保证一致性和不存在关键竞争的位置插入状态信号。该方法的结构性质使其保守，即即使存在解决方案，也无法保证解决方案。然而，实验表明，这种限制并不妨碍为本文中提出的所有示例找到解决方案。该方法可以针对面积或延迟优化进行定制。与基于状态的方法相比，实验结果证实了电路的质量。它们还表明，如果将逻辑综合纳入通过语法指导翻译生成控制器的综合框架中，可以获得显着的好处。
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The method is based on the structural theory of Petri nets and uses integer-linear programming to insert state signals in locations that guarantee the consistency and absence of critical races. The structural nature of the proposed method makes it conservative, i.e., a solution cannot be guaranteed, even if it exists. Nevertheless, the experiments show that this limitation did not preclude finding a solution for all the examples presented in this paper. The method can be customized for area or delay optimization. The experimental results confirm the quality of the circuits, as compared with state-based methods. They also show the significant benefits that could be obtained if logic synthesis would be incorporated in synthesis frameworks that generate controllers by syntax-directed translation.