多状态机的协同设计
作者:
来源:
发布时间:2006/7/11 13:45:41 点击数:2609
随着微电子技术的迅速发展,人们对数字系统的需求也在提高[1]。不仅要有完善的功能,而且对速度也提出了很高的要求。对于大部分数字系统,都可以划分为控制单元和数据单元两个组成部分。通常,控制单元的主体是一个有限状态机,它接收外部信号以及数据单元产生的状态信息,产生控制信号序列。有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数,传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换,而用硬件描述语言来描述有限状态机,往往是通过充分发挥硬件描述语言的抽象建模能力,通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。EDA工具的快速发展,使通过CAD快速设计有限状态机自动化成为可能。sO100 传统上在系统级和寄存器传输级完成VHDL的描述主要分以下几步: (1)分析控制器设计指标,建立系统算法模型图; (2)分析被控对象的时序状态,确定控制器有限状态机的各个状态及输入.输出条件; (3)应用VHDL语言完成描述。 使用XILINX的ISE6.1软件包的辅助工具STATECAD能加速有限状态机设计,大大简化状态机的设计过程,实现状态机设计的自动化。使用STATECAD进行状态机设计的流程如下: (1)分析控制器设计指标,建立系统算法模型图; (2)分析被控对象的时序状态,确定控制器有限状态机的各个状态及输入.输出条件; (3)在STATECAD中输入有限状态机状态图,自动产生VHDL模型描述,使用STATEBENCH进行状态转移分析,分析无误后使用导出VHDL模型块到ISE中进行仿真后综合,实现到CPLD或FPGA的映射。 设计人员的主要工作在第一步。第二步,第三步基本上可以通过STATECAD完成有限状态机的自动生成和分析,还可以利用分析结果来对被控对象的逻辑进行分析,改进,完善系统控制逻辑。 在需要并行处理的场合,往往需要采用多状态机来完成系统的控制任务,这时状态机之间的同步问题往往是设计者需要仔细考虑的问题。如果采用完全人工输入代码的方法来设计,往往力不从心。采用STATECAD完成整个控制逻辑的设计并对设计结果进行验证更能体现CAD设计方法的优势,加速产品开发进度,提高设计生产率。 下面以一个双状态机设计过程来介绍如何使用STATECAD进行多状态机的协同设计。 有二个状态机,一个负责对M0写,一个负责对M0读操作,为了简单起见,系统已经尽量简化了。 负责对M0写的状态机包括四个状态: STATE0:写状态机复位后初始化; write0:对M0写,写满4个转到m0full; m0full:M0满状态; m0writewait:等待。M0满时转入write0状态。 负责对M0读的状态机包括四个状态: STATE1:读状态机复位后初始化 read0:对M0读,读4个转到m0empty m0empty:M0空状态 m0readwait:等待。M0空时转入read0状态 负责对M0写的状态机必须知道M0是空的,而负责对M0读的状态机必须知道M0是满的才能读。读完了通知负责对M0写的状态机M0是空的,可以写了。二个状态机同时并行工作。M0写的状态机在写操作完了,就等待M0空。M0读的状态机在读操作完了,就等待M0满。在STATECAD中,状态本身可以作为其他状态机的转移条件。这也正是在进行多状态机的协同设计中最需要的功能,能大大方便多状态机的设计。 输入完状态图,就基本完成了状态机的设计过程。进行逻辑优化(工具自动进行逻辑优化)后,使用STATEBENCH进行状态转移分析。以下是自动状态转移模拟波形。 由以上的波形看到状态机的工作过程符合设计逻辑。对单独的器件操作也许不需要采用多状态机的设计方法,但在多器件需要并行工作时,多状态机的协同设计就显得必要了。导出VHDL模型块到ISE中进行仿真后综合,这里就不多讲了,以下是产生的代码: --D:\XILINXTUTORIAL\DUOZTJI.vhd LIBRARYieee; USEieee.std_logic_1164.all; LIBRARYieee; USEieee.std_logic_unsigned.all; ENTITYSHELL_DUOZTJIIS PORT(CLK,RESET:INstd_logic; dcounter0,dcounter1:OUTstd_logic); SIGNALBP_dcounter0,BP_dcounter1,readcounter0,readcounter1:std_logic; END; ARCHITECTUREBEHAVIOROFSHELL_DUOZTJIIS SIGNALsreg:std_logic_vector(1DOWNTO0); SIGNALnext_sreg:std_logic_vector(1DOWNTO0); CONSTANTm0full:std_logic_vector(1DOWNTO0):="00"; CONSTANTm0writewait:std_logic_vector(1DOWNTO0):="01"; CONSTANTSTATE0:std_logic_vector(1DOWNTO0):="10"; CONSTANTwrite0:std_logic_vector(1DOWNTO0):="11"; SIGNALsreg1:std_logic_vector(1DOWNTO0); SIGNALnext_sreg1:std_logic_vector(1DOWNTO0); CONSTANTm0empty:std_logic_vector(1DOWNTO0):="00"; CONSTANTm0readwait:std_logic_vector(1DOWNTO0):="01"; CONSTANTread0:std_logic_vector(1DOWNTO0):="10"; CONSTANTSTATE1:std_logic_vector(1DOWNTO0):="11"; SIGNALnext_BP_dcounter0,next_BP_dcounter1,next_readcounter0, next_readcounter1:std_logic; SIGNALBP_dcounter:std_logic_vector(1DOWNTO0); SIGNALdcounter:std_logic_vector(1DOWNTO0); SIGNALreadcounter:std_logic_vector(1DOWNTO0); BEGIN PROCESS(CLK,next_sreg,next_BP_dcounter1,next_BP_dcounter0) BEGIN IFCLK='1'ANDCLK'eventTHEN sreg<=next_sreg; BP_dcounter1<=next_BP_dcounter1; BP_dcounter0<=next_BP_dcounter0; ENDIF; ENDPROCESS; PROCESS(CLK,next_sreg1,next_readcounter1,next_readcounter0) BEGIN IFCLK='1'ANDCLK'eventTHEN sreg1<=next_sreg1; readcounter1<=next_readcounter1; readcounter0<=next_readcounter0; ENDIF; ENDPROCESS; PROCESS(sreg,sreg1,BP_dcounter0,BP_dcounter1,readcounter0,readcounter1, RESET,BP_dcounter,readcounter) BEGIN next_BP_dcounter0<=BP_dcounter0;next_BP_dcounter1<=BP_dcounter1; next_readcounter0<=readcounter0;next_readcounter1<=readcounter1; BP_dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))); readcounter<=((std_logic_vector'(readcounter1,readcounter0))); next_sreg<=m0full; next_sreg1<=m0empty; IF(RESET='1')THEN next_sreg<=STATE0; BP_dcounter<=(std_logic_vector'("00")); ELSE CASEsregIS WHENm0full=> next_sreg<=m0writewait; BP_dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))); WHENm0writewait=> IF((sreg1=m0empty))THEN next_sreg<=write0; BP_dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))+std_logic_vector'("01")); ELSE next_sreg<=m0writewait; BP_dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))); ENDIF; WHENSTATE0=> next_sreg<=write0; BP_dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))+ std_logic_vector'("01")); WHENwrite0=> IF(BP_dcounter0='1'ANDBP_dcounter1='1')THEN next_sreg<=m0full; BP_dcounter<=(std_logic_vector'("00")); ELSE next_sreg<=write0; BP_dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))+ std_logic_vector'("01")); ENDIF; WHENOTHERS=> ENDCASE; ENDIF; IF(RESET='1')THEN next_sreg1<=STATE1; readcounter<=(std_logic_vector'("00")); ELSE CASEsreg1IS WHENm0empty=> next_sreg1<=m0readwait; readcounter<=((std_logic_vector'(readcounter1,readcounter0))); WHENm0readwait=> IF((sreg=m0full))THEN next_sreg1<=read0; readcounter<=((std_logic_vector'(readcounter1,readcounter0))+ std_logic_vector'("01")); ELSE next_sreg1<=m0readwait; readcounter<=((std_logic_vector'(readcounter1,readcounter0))); ENDIF; WHENread0=> IF(readcounter0='1'ANDreadcounter1='1')THEN next_sreg1<=m0empty; readcounter<=(std_logic_vector'("00")); ELSE next_sreg1<=read0; readcounter<=((std_logic_vector'(readcounter1,readcounter0))+ std_logic_vector'("01")); ENDIF; WHENSTATE1=> IF((sreg=m0full))THEN next_sreg1<=read0; readcounter<=((std_logic_vector'(readcounter1,readcounter0))+std_logic_vector'("01")); ELSE next_sreg1<=STATE1; readcounter<=((std_logic_vector'(readcounter1,readcounter0))); ENDIF; WHENOTHERS=> ENDCASE; ENDIF; next_BP_dcounter1<=BP_dcounter(1); next_BP_dcounter0<=BP_dcounter(0); next_readcounter1<=readcounter(1); next_readcounter0<=readcounter(0); ENDPROCESS; PROCESS(BP_dcounter0,BP_dcounter1,dcounter) BEGIN dcounter<=((std_logic_vector'(BP_dcounter1,BP_dcounter0))); dcounter0<=dcounter(0); dcounter1<=dcounter(1); ENDPROCESS; ENDBEHAVIOR; LIBRARYieee; USEieee.std_logic_1164.all; LIBRARYieee; USEieee.std_logic_unsigned.all; ENTITYDUOZTJIIS PORT(dcounter:OUTstd_logic_vector(1DOWNTO0); CLK,RESET:INstd_logic); END; ARCHITECTUREBEHAVIOROFDUOZTJIIS COMPONENTSHELL_DUOZTJI PORT(CLK,RESET:INstd_logic; dcounter0,dcounter1:OUTstd_logic); ENDCOMPONENT; BEGIN SHELL1_DUOZTJI:SHELL_DUOZTJIPORTMAP(CLK=>CLK,RESET=>RESET,dcounter0=> dcounter(0),dcounter1=>dcounter(1)); ENDBEHAVIOR;
上一篇:基于FPGA的新型谐波分析仪设计' 下一篇:基于FPGA的机载合成孔径雷达数字信'
特别声明:机电之家(http://www.jdzj.com
)所共享的机电类资料,机电论文、机电类文章、机电企业类管理制度、机电类软件都来自网上收集,其版权归作者本人所有,如果有任何侵犯您权益的地方,请联系我们,我们将马上进行处理。购买的论文都出自原创,保证作者的原创的版权的转让,任何纠纷由法律解决。
|