6位寄存器就可以容纳216.PDF

西北工业大学博七学位论文 时，即使是复杂度较低的元件如1/O接口或总线控制器都至少有几千个状态，这 时，FSM模型就很难适应设计需要。为了使FSM模型适应更复杂设计的需要， 引入了带数据通道的有限状态机 (FSMD)模型。这里数据通道可以是定点或浮 点寄存器，这些寄存器可以存储状态变量。例如，一个16位寄存器就可以容纳216 (65536)个状态，这极大地简化了状态控制和操作控制。 FSMD定义如下:设VAR为存储变量的集合;EXP为表达式的集合 EXP一仃(XIY,z，二〕Ix,Y,z,..。VAR); A为变量赋值的集合 A={xGeIxEVAR,eeEXP}; STAT为状态信号集合，它定义了集合EXP中两个表达式之间的逻辑关系 STAT一{Relation(a,b)Ia,bsEXP}; 则FSMD可以形式化地表示成如下五元组形式: (S,IxSTAT,OxA,f:Sx(IxSTAT)-)}S,h:Sx(IxSTAT)-(OxA)) 其中，将输入事件集合扩展到包含状态表达式，将输出事件集合扩展到包含 变量赋值，将f和h分别定义为Sx(IxSTAT-S和SxQxSTAT)-(OxA)的 映射。这样，FSMD的后继状态与输出不仅依赖于当前的状态和外部输入信号， 而且和内部状态信号有关。另外，FSMD不仅要更新外部信号的值，而且还要更 新内部数据通道中寄存器中变量的值。 外;1;414.11价号犊出 数据轴出 图3.27FSMD模型实现示意图 图3.27为FSMD模型实现的示意图。由图可见，FSMD模型可分为两部分: 控制逻辑部分和数据通道部分。控制逻辑部分完成状态及时序控制，数据通道完 成信息的处理、存储与传输。这两部分的实现通常可分别称为控制流综合和数据 流综合。而数据流综合涉及的内容就是本章所研究的高级综合的理论与方法。 3.5.2控制信息的提取 如F所沐，高级综合是基于带数据通道的有限状态机 (FSMD)模型，控制 第三章 ASIC高级综合的理论与方法 信息提取的任务就是找出状态转换函数f和控制输出函数h。控制信息最终通过 控制流综合生成相应的控制部件，用来控制数据通道的执行。 一、状态转换函数的提取 状态转换函数是输入变量集合I与状态集合S到状态集合S上的一个映射， 它确定某一状态在一定输入条件下转换到哪一状态。HLSBIT系统的综合过程中 首先将操作流程转化为相应的状态段，并确立各状态段间的转换关系。状态段可 视为一系列状态的集合，每个状态对应于调度的一个控制步，每个控制步都无条 件地转换到下一个控制步。图3.28表示了与表达式y=((a+b)+(e-(c+d)))*f的 VHDL行为描述对应的状态段(a)，调度后的CDFG(b)及最终形成的状态转换图 (c)a 从图3.28中的对应关系可以看出，状态转换函数由两方面的因素决定:状态 段间的转换关系和状态段内调度的控制步。 若状态段s、中控制步J对应的状态记作Si在条件c下状态段s转移到sit一 则有 S,分SJ+I S,max-P(l-4Si+Ij 其中分表示状态转换关系，maxstep(i)表示s，的最大控制步数目。 二、控制输出函数的提取 控制输出函数为输入变量I与状态集合S到输出变量集合O的映射。输出变 量用于控制数据通道中数据的处理、存储与传输。因此，控制输出函数确定操作 的执行条件、变量的存储条件和数据传输的传输条件，进而确定相应功能单元、 存储单元和互连单元的执行或选通条件。 实际上，VHDL的各种控制语句包括if,case,loop,wait语句等，在综合 时都用于产生状态转换 (如图3.28)，因此，根据有限状态自动机的概念，操作 的执行与否取决于当前的状态及状态转换条件，结合前面所述状态段的概念，可 以导出操作的执行条件: ready=1厂长。 ready readyk1 outr