铝离子对碳钢在中性水溶液中腐蚀的缓蚀性能研究

ASIC高级综合是基于FSMD模型，核心内容为调度与分配。VHDL描述编译获得中间结是数据流图DFG，综合结果为RTL网表及控制信息。RTL网络构成数据通道，控制信息可综合成有限状态自动机。数据通道在FSM的控制下完成数据操作、传输及存贮。其所能完成的操作及数据相关关系也构成一个dfg。逆向提取数据流图的验证方法就是从综合结果的RTL网表信息中提取出dfg。并将其与DFG进行比较；若二者同构，则表明从RTL结构网络表中提取出的dfg 与综合前编码出的DFG是功能等价的。本项研究解决了该验证方法中的两项关键技术：提出提取dfg的方法和DFG与dfg子图同构的自动求解方法，并设计出实现算法，编出程序，经若干实例综合结果的验证表明上述思想是可行的。