高层次综合课件

高层次综合

HighLevelSynthesis陈付龙2005-11-23高层次综合

HighLevelSynthesis陈付龙1参考文献薛宏熙，边计年，苏明.数字系统设计自动化[M].北京：清华大学出版社，1996年10月李德新，周祖成.高层次综合[J].电子技术应用，1998年第3期苏明.高层次综合算法及其系统研究.北京：清华大学博士学位论文，1993参考文献薛宏熙，边计年，苏明.数字系统设计自动化[M].北京2主要内容0概述：任务和内容1编译与转换：编译方法和转换方法2调度：ASAP，ALAP，LS算法3分配：图着色算法4控制器综合5结果生成与反编译6相关研究7总结主要内容0概述：任务和内容30概述——

高层次综合与系统描述的关系算法级寄存器传输级逻辑级电路级版图级行为特性物理特性结构特性高层次综合：从算法级的行为描述到实现它的寄存器传输级的结构描述的综合逻辑综合版图综合0概述——

高层次综合与系统描述的关系算法级寄存器传输级逻4高层次综合的任务找出一个满足约束条件和目标集合、花费最少的硬件结构高层次综合的优点提高设计速度，缩短设计周期描述简洁，容易编写、理解，贴近自然语言，描述错误少且容易修改高层次综合的任务5高层次综合内容调度编译与转换反编译分配控制器综合功能单元库设计约束(时钟周期,操作步数(周期数),设计吞吐量,硬件资源的最大数目、面积、最大功耗等)中间表示格式数据流控制流数据通路硬连逻辑或微程序给有限状态机综合与逻辑综合结构描述给文档管理或其它逻辑综合工具算法描述高层次综合内容调度编译与转换反编译分配控制器综合功能单元库设61编译与转换编译：转换：优化编译逻辑级以上行为描述数据流和控制流语法分析图（树）1编译与转换编译：编译逻辑级以上数据流和控制流71-1编译：生成控制数据流图CDFG三类节点操作节点表示抽象的操作运算传输节点表示数据的传输结构接点起始节点终结节点分支节点汇聚节点两类边数据相关边控制相关边起始节点终结节点1-1编译：生成控制数据流图CDFG三类节点起始节点终结节点8Exampleentitysampleisport(in1,in2:ininteger;cond:inbit;fout:outinteger;)endsamplearchitecturebehaviorofsampleisbeginprocess/*顺序执行的程序*/variablev1,v2,v3:integer;v1:=in1;v2:=in2;while(v1<v2)loopif(cond=‘1’)thenv3=:v1+v2;v2:=v1;elsev3:=v1-v2;endifendloopfout<=v3;endprocessendbehavior123456

7

89‘1’in2in1cond<=<:==-+:=:=v1v2v3fout(v1<v2)┓(v1<v2)(cond=‘1’)┓(cond=‘1’)beginendExampleentitysampleis1‘1’in29CDFD的数据结构邻接矩阵邻接表CDFD的数据结构邻接矩阵101-2转换：目的是对设计的行为描述进行优化编译优化（最基本的转换）常量代入无用码删除公因子提取与公用表达式删除代码（操作）移动：分支操作移入（出）条件分支过程体展开循环展开针对专门硬件模块，将复杂的多周期操作转换成简单操作增加操作并行度减少CDFG图中关键路径和指定路径上的操作个数1-2转换：目的是对设计的行为描述进行优化编译优化（最基本的11常量代入和无用码删除：=++a24b123a:=2;c:=a+(4+b);c：=++4b22a123c常量代入无用码删除×其它转换将在2-3节介绍常量代入和无用码删除：=++a24b123a:=2;c：=+122调度功能：将操作赋给控制步（controlstep）一个控制步是一个时序单位，对应若干时钟周期输入：CDFG数据流目的：在满足约束条件（size,speed,power）下，将操作赋给各控制步，以使给定目标函数（e.g.numberofcontrolsteps,delay,power,resource,etc.)最小2调度功能：将操作赋给控制步（controlstep）132-1操作类型及操作的调度类型单周期操作：一个控制步内完成单操作单周期（e.g.1）多操作单周期（链式，e.g.3，4）多周期操作（e.g.2）：多个控制步内完成

单周期操作调度链式操作调度多周期操作调度+*+-1243cs1cs22-1操作类型及操作的调度类型单周期操作：一个控制步内完成单142-2调度算法分类依调度算法变换法(transformation)：首先找出一个初始调度方案，然后对其进行变换，即将操作从一个控制步移到另一个控制步(穷举法:分支定界法(branchandbound),启发式方法:模拟退火法(simulatedannealing))构造法(constructive)：每次选一个操作进行调度,直到所有的操作都调度完成(e.g.ListingScheduling)依约束条件时间约束：在满足时间约束(操作步数或时钟周期)的条件下，以尽可能少的硬件资源来完成操作(e.g.ALAP)硬件资源约束：在满足硬件资源约束(面积，资源数目)的条件下，以尽可能短的时间来完成操作（e.g.LS）时间约束和硬件资源约束功耗约束可测性设计约束无约束(e.g.ASAP)2-2调度算法分类依调度算法15变换法：examplecs1cs2cs3++++++++++++++++++1234561234561234563adders,3steps3adders,2steps2adders,3steps变换法：examplecs1cs2cs3+++++++16典型调度算法（一）

ASAP和ALAP

ASAP(assoonaspossible)：无约束算法。它将所有操作赋予最早可能调度到的控制步中，将CDFG看作有向图时,其中操作节点、起始和终止节点分别为有向图的的节点,数据相关边作为有向图的有向边,然后对该有向图进行正向分层排序。ALAP(aslateaspossible)：时间约束算法。它是将操作赋予可能最迟调度到的控制步中。其基本思路与ASAP

算法类似,只是对有向图进行反向的分层排序。典型调度算法（一）

ASAP和ALAP

ASAP(asso17ASAPASAP18+******<+--ydx3u1234567891011+******<+--1234567891011cs1cs2cs3cs4cs5cs6优点：简单，快速缺点：头重！无约束+******<+--ydx3u1234567891011+19ALAPALAP20+******<+--ydx3u1234567891011+******<+--1234567891011cs1cs2cs3cs4cs5cs6优点：简单，快速缺点：脚大！不一定做到满足约束时的最优+******<+--ydx3u1234567891011+21+******<+--1234567891011cs1cs2cs3cs4cs5cs6ASAP+******<+--1234567891011cs1cs2cs3cs4cs5cs6ALAP调整区间+******<+--1234567891011cs1cs222典型调度算法（二）

列表调度算法

（listscheduling）

构造型，硬件资源约束

(resourcerestriction)就绪队列AQ(ActiveQueue)：存放当前控制步中可以执行的操作（其前趋已被调度，自己未被调度且“其前趋的控制步+其前趋的延迟≤当前cs”的操作）优先级函数pf(priorityfunction)调整区间（最小优先）路径长度（自该操作到结束的最长延迟，最长优先）设cs1为当前cs建立AQ，按pf排序取AQ中pf最高的操作调度到cs修改AQcs←cs+1AQ中有满足rr的操作YN有操作未调度？YNendbegin典型调度算法（二）

列表调度算法

（listschedul23+******<+--1234567891011cs1cs2cs3cs4cs5cs6cs7rr:2multiplicationunits,1subtracter,1adder,1comparisonunitpf:pathlength5AQ={3,4,5,6,1}Select:3,4,1AQ={5,6,2}Select:2AQ={7,5,6,}Select:7,5AQ={6}Select:noAQ={8,6,10}Select:8,6,10AQ={}Select:noAQ={11,9}Select:11,9123467优点：算法复杂性低O(n)，速度快 能在短时间内找到次优解缺点：不能进行时间约束下的调度+******<+--1234567891011cs1cs224典型调度算法（三）

力定向算法(Force-DirectedScheduling)构造型、基于时间约束基本思想：尽可能均匀地在硬件功能单元之间安排操作,防止某些功能单元使用频繁,而另外一些功能单元大部分时间闲置,以便提高功能单元的总体使用效率和降低硬件成本算法：确定时间帧(调度周期):根据ASAP和ALAP算法确定某个操作的时间帧(即调度周期)。调度周期与设定的(或受约束的)总操作步数之比为该操作在当前控制步中的执行概率

建立概率和分布图:首先求在每一步控制步中,每一种类型操作的执行概率之和,得到概率和的分布图,它表示了每一种相同操作的并行性

计算“力”(force):计算某个操作可能调度到的各个控制步所对应的力,力的大小等于当前控制步的概率和时间帧内各控制步的平均概率和的差值。这样表示的力直接正比于额外的硬件花费。不均衡的概率和分布会造成较大的硬件花费,反映到力上是对应较大力的值。力的计算还应包括间接力,即在操作的当前控制步的前驱控制步和后继控制步对本操作影响时,计算前驱控制步和后继控制步的力。算出所有操作力之后,选择最小的力值的操作控制步作我们的结果。FDS算法的精确性好,但计算量较大

典型调度算法（三）

力定向算法(Force-Directe252-3调度前的转换处理循环控制结构的处理分支控制结构的处理结构变换2-3调度前的转换处理循环控制结构的处理262-3-1循环控制结构的处理timecycletimesP1P2P3循环体执行时间timeP1P2P3控制步时间段EL(ExecutionLength)循环体执行时间 循环过程完整处理一组采样数据所需要的控制步数目IL(InputdataLatency)循环体数据等待时间 循环过程中两组采样数据处理过程起始节点时间之差等待时间非流水线设计方式执行速度快于采样速度IL≥EL流水线设计方式执行速度快于采样速度IL<ELcycletimes2-3-1循环控制结构的处理timecycletimesP27跨循环体（过程）的数据引用指在两组相邻数据处理过程中，前一组数据处理过程中的某个操作的输出被后一组数据处理过程中的另一个操作引用。612345798612345798反馈边跨循环体（过程）的数据引用指在两组相邻数据处理过程中，前一组28非流水方式设计当IL≥EL时，操作间不存在跨循环体（过程）的数据引用，直接断开反馈边，将循环体展开进行调度612345798612345798非流水方式设计当IL≥EL时，操作间不存在跨循环体（过程）的29流水线视察窗流水层1流水层2流水层3流水方式设计612345798612345798当采用流水线方式设计时，IL不能小于任意跨循环体（过程）的数据引用的两个操作的高度之差，以防止前一组操作没有为后一组操作准备好数据IL=3EL=6流水线流水层1流水层2流水层3流水方式设计612345798302-3-2分支控制结构的处理:合并、移动互斥操作：不在同一条件下执行的两个操作E.g.2and3:同层不同分支8and4:不同层不同分支互斥操作不可能在同一条件下执行判断的基础是操作的条件向量的叉积或点积：操作的条件向量由各分支条件作为元素组成的向量，其维数为分支条件个数，各元素值∈{0,1,X}，其中：0：表示操作在该条件为假时执行1：表示操作在该条件为真时执行X：表示操作的执行与该条件无关关键在于合并互斥操作，以使其尽可能地共享功能单元局部合并法和全局合并法2-3-2分支控制结构的处理:合并、移动互斥操作：不在同一条31-+------++++++TFTFTFTFabcdev1v2v38123410511912613714操作条件向量操作条件向量1{0,X,X,X,X}8{1,X,X,X,X}2{1,1,X,X,X}9{1,0,X,X,X}3{1,0,X,X,X}10{0,0,X,X,X}4{0,1,X,X,X}11{1,1,X,0,X}5{1,1,X,1,X}12{1,0,X,X,1}6{1,0,X,X,0}13{1,0,X,X,0}7{1,0,X,X,X}14{1,X,X,X,X}条件向量{a,b,c,d,e}-+------++++++TFTFTFTFabcdev1v32局部合并法规则1.（1）从带有嵌套分支结构的最内层分支结构开始，逐层向外进行分支操作的合并处理，（2）或者根据操作间的条件向量的叉积来判断是否为互斥操作，来进行合并2.两个仅被条件分支内操作引用的变量可以合并，而一个被分支外操作引用的变量不能与一个仅被分支内引用的变量合并3.常用穷举法或启发式策略进行局部合并法规则33局部合并法中互斥操作的判定设两个相同类型的操作op1和op2，其条件向量为n维，分别为cv1和cv2，通过叉积运算来判断两个同类型操作是否互斥若cv1(i)×cv2(i)的结果中除了0，1，X外，有且仅有一个q,则cv=cv1×cv2,其中cv1(i)×cv2(i)=q时，cv(i)=Xcv1(i)×cv2(i)≠q时，cv(i)=cv1(i)×cv2(i)否则，cv=φ若条件向量的运算结果为φ，则两个操作不互斥；否则，它们是互斥操作，可以按互斥操作合并处理局部合并法中互斥操作的判定设两个相同类型的操作op1和op23401X01X0qmq1mmmXcv1(i)cv2(i)cv(i)条件向量的叉积运算规则e.g.cv12={1,0,X,X,1},cv13={1,0,X,X,1},

cv12×cv13={1,0,X,X,q},cv={1,0,X,X,X},互斥,可以合并cv13={1,0,X,X,0},cv14={1,X,X,X,X},

cv13×cv14={1,m,X,X,m},cv=Φ，不互斥,不可合并cv5={1,1,X,1,X},cv12={1,0,X,X,1},

cv5×cv12={q,q,X,X,X},cv=Φ,不互斥,不可合并01X0035v310d-+------++++++TFTFFTFabcev1v2v38123410511912613714TFTCDFG-+------+++++TFTFabv1v28123451196{12,13}714合并c,d,ev310d-+------++++++TFTFFTFabce36-+------+++++TFTFabv1v28123451196{12,13}714合并c,d,e1-+----++++TFav1v28{2,3}411{5,9}6{12,13}{7,11}14合并bv3v3-+------+++++TFTFabv1v28123451371-+----++++TFav1v28{2,3}411{5,9}6{12,13}{7,11}14合并b+---++v1v28{1,2,3}6{12,13}{7,10,11}{4,14}{5,9}+合并a1-+----++++TFav1v28{2,3}411{5,38局部合并法的缺点合并时没有考虑操作移入或移出分支，不能合并在不同层次上的不同分分支操作局部合并法的缺点合并时没有考虑操作移入或移出分支，不能合并在39全局合并法统一考虑各嵌套层次条件分支上互斥操作的合并，以便充分共享功能单元全局合并法40全局合并法中互斥操作的判定设两个相同类型的操作op1和op2，其条件向量为n维，分别为cv1和cv2，通过点积运算来判断两个同类型操作是否互斥若cv1(i)·cv2(i)的结果出现q,则cv=cv1·cv2,

其中cv1(i)·cv2(i)=q时，cv(i)=Xcv1(i)·cv2(i)≠q时，cv(i)=cv1(i)·cv2(i)否则，cv=φ若条件向量的运算结果为φ，则两个操作不互斥；否则，它们是互斥操作，可以按互斥操作合并处理全局合并法中互斥操作的判定设两个相同类型的操作op1和op24101X01X0qXq1XXXXcv1(i)cv2(i)cv(i)点积运算规则e.g.cv12={1,0,X,X,1},cv13={1,0,X,X,1},

cv12·cv13={1,0,X,X,q},cv={1,0,X,X,X},互斥，可以合并cv13={1,0,X,X,0},cv14={1,X,X,X,X},

cv13·cv14={1,X,X,X,X},cv=Φ，不互斥，不可合并cv5={1,1,X,1,X},cv12={1,0,X,X,1},

cv5·cv12={1,q,X,X,X},cv={1,X,X,X,X},互斥,可以合并01X0042合并操作可能带来的问题——路径长度的增加+-+-1234+-+1{2，3}4Scheme1:1adder,1subtracter+/-+/-{1,3}{2，4}Scheme2:1ALUCDFG合并操作可能带来的问题——路径长度的增加+-+-1234+-43分支操作移动CDFG中，操作的顺序严格遵循数据相关性关系，但除汇聚节点附近的反馈边（用于循环控制）外的其它控制相关性关系，并不严格地规定操作的顺序，所以条件分支上操作可以移出条件分支条件分支外操作可以移入条件分支目的：减少所需控制步数目分支操作移动CDFG中，操作的顺序严格遵循数据相关性关系，但44条件分支上操作移出条件分支

指条件分支上的操作可以在分支条件确定前执行（当然，有可能执行的结果无用）+->-+-++-1925364781个+,1个(-,>):6步+->-+-++-192536478操作5和6的相应条件向量为X1个+,1个(-,>):5步条件分支上操作移出条件分支

指条件分支上的操作可以在分支条件45条件分支外操作移入条件分支须保证不论分支条件取值如何，都要在条件分支上执行，即将分支外操作复制到每个条件分支上。移入的操作分别与条件分支中的其它操作进行互斥操作的资源共享，从而在不增加硬件资源的条件下达到减少控制步数的目的。条件分支外操作移入条件分支须保证不论分支条件取值如何，都要在46+->-+-++-1925364781个+,1个(-,>):5步9-+>-+-++-12536478-10操作10为9的复制，相应条件向量分别为0和1，{9，7}共享+,{4,10}共享(-,>)1个+,1个(-,>):4步条件分支外操作移入条件分支的原则：（1）操作的移入不能增加条件分支的长度；

（2）操作的移入不能引起硬件资源的冲突。+->-+-++-1925364781个+,1个(-,>)472-3-3结构变换——关键路径优化根据算术操作与逻辑操作的结合律和分配律，在满足硬件资源约束条件和不改变CDFG语义的基础上，将CDFG关键路径上的操作转换到相关非关键路径上去，以减少关键路径上的操作个数，提高系统速度。两种主要变换规则：结合律的变换规则；分配律的变换规则2-3-3结构变换——关键路径优化根据算术操作与逻辑操作的结48结合律的变换规则类型IIIIII1a+(b+c)(a+c)+b(a+b)+c2a*(b*c)(a*c)*b(a*b)*c3a+(b-c)(a-c)+b(a+b)-c4a*(b/c)(a/c)*b(a*b)/c5a-(b-c)(a+c)-b(a-b)+c6a/(b/c)(a*c)/b(a/b)*c7a-(b+c)(a-c)-c(a-b)-c8a/(b*c)(a/c)/b(a/b)/c结合律的变换只影响CDFG的局部结构abcIacbIIbIIac结合律的变换规则类型IIIIII1a+(b+c)(a+c)+49变换操作类型可能引起硬件资源需求变化--+-abcdef1adder,2subtraterscdf-++-abe1adder,1subtraterd----abcef2subtracters变换操作类型可能引起硬件资源需求变化--+-abcdef150分配律的变换规则类型III1(a+b)*ca*c+b*c2(a-b)*ca*c-b*c3(a+b)/ca/c+b/c4(a-b)/ca/c-b/c正变换逆变换IIIab阴影部分为关键路径+*+cdd*++abc**++abcd*分配律的变换规则类型III1(a+b)*ca*c+b*c2(51引用变量问题控制步iabc引用变量定义变量当一个变量在某一个控制步中定义，则该变量在其后的控制步中称为可用变量理想情况：引用变量总是可用变量实际情况：引用变量不总是可用变量IacbIIbIIIacabce.g.当(I)中a,(II)中b,(III)中c在控制步I中可用，三种形式方等价引用变量问题控制步iabc引用变量定义变量当一个变量在某一个52操作的输出变量被其它操作所引用问题(1)当两个操作满足结合律变换条件，但是，由于操作1的输出不仅被操作2引用，还被其它操作引用，若直接进行结合律变换，会破坏原有数据相关性，此时，可先复制操作1，然后变换abc123复制1abc1‘231变换abc311‘2操作的输出变量被其它操作所引用问题(1)当两个操作满足结合律53经过复制后，CDFG中操作个数增加了，可能增大硬件资源需求，但如果增加的操作不会增大同时执行操作的操作数目，则不会导致硬件资源需求增加e.g.操作的输出变量被其它操作所引用问题(2)*++**abcdexy1adder,2multiplications+*++**cdabexy1adder,1multiplication经过复制后，CDFG中操作个数增加了，可能增大硬件资源需求，543（数据通路）分配功能：（1）将操作赋给相应的功能单元运算，（2）将变量（值）赋给相应的存储单元进行存放，（3）将数据传输通道赋给相应的硬件进行数据传输输入：数据流输出：控制流和数据通路目的：建立一个功能块级模块组成的数据通路，使所占用的硬件资源（功能单元，存储单元，互连线网）花费最少，尽量共享3（数据通路）分配功能：（1）将操作赋给相应的功能单元运算，55数据通路基本硬件模块功能单元存储单元互连线网andFUregistermemoryinoutinindataaddressoutoutoutselectenableenableinoutselectmultiplexerbusselectinout数据通路基本硬件模块功能单元andFUregistermem56分配与调度的关系调度过程影响执行速度、响应延迟等时间特性和硬件资源费用等空间特性，分配过程则只对硬件资源费用起决定作用，尽可能降低硬件成本调度结果是分配过程的约束和输入分配与调度的关系调度过程影响执行速度、响应延迟等时间特性和硬57变量的生存期：变量从产生到最后一次被引用之间的控制步du变量产生时间最后引用时间备注x1(1)1(2)循环变量y7(1)7(2)循环变量u7(1)5(2)循环变量a07外部输入d07外部输入o323操作的输出变量（中间变量）o423o545o667o745o867o1057+******<+--1234567891011cs1cs2cs3cs4cs5cs6cs7xya*括号中数字表示两次相邻循环的轮次变量的生存期：变量从产生到最后一次被引用之间的控制步du变量58分配算法启发式分配算法

每次选取一个待分配的元素，将它赋给相应硬件单元，在元素选取过程中用启发式策略模拟退火贪婪全局费用函数线性规划方法(LinearProgramming)

将分配问题形式化为线性规划问题求解0——1线性规划混合整数线性规划(mixedintegerlinearprogramming)整数规划图论算法团规划算法(cliquepartitioning)图着色算法(NodeColoring)二部图匹配算法分配算法启发式分配算法

每次选取一个待分配的元素，将它赋给相59图着色算法I利用冲突图来分配操作II利用冲突图来分配变量III分配互连线路IV分配控制器的输出信号图着色算法I利用冲突图来分配操作60I利用冲突图来分配操作根据调度结果，建立操作的冲突图进行冲突图着色根据冲突图中节点的颜色，分组并给操作分配功能单元I利用冲突图来分配操作根据调度结果，建立操作的冲突图61操作冲突图由二元式组成：G=(V,E)V={opi}，E={(opi,opj)|opi与opj非互斥且调度到同一控制步中}u+******<+--1234567891011xa3214576108119yd操作冲突图u+******<+--123456789101162操作冲突图着色在冲突图中任取一个未着色的节点；对该点着以与其相邻已着色点不同的颜色；重复，直到所有节点均着色3*2<1+4*5*7*6*10-8*11-9+分配{1,2,10,11}={+,<,-}{3,5,6,9}={*,+}{4,7,8}={*}3*2<1+4*5*7*6*10-8*11-9+(+,<)*1*2—操作冲突图着色3*2<1+4*5*7*6*10-8*11-963II利用冲突图来分配变量根据调度结果，建立变量生存期表建立变量的冲突图对冲突图着色根据冲突图中节点的颜色，分组并给变量分配存储单元II利用冲突图来分配变量根据调度结果，建立变量生存期表64建立变量的冲突图

由二元式组成：G=(V,E)

V={变量vi}，E={(vi,vj)|vi与vj非互斥且其生存期重叠}

adxyo3o4uo7o5o10o8o6根据调度结果，建立变量生存期表

变量产生时间最后引用时间备注x1(1)1(2)循环变量y7(1)7(2)循环变量u7(1)5(2)循环变量a07外部输入d07外部输入o323操作的输出变量（中间变量）o423o545o667o745o867o1057因a,d,x始终存在，故与所有变量均冲突建立变量的冲突图

由二元式组成：G=(V,E)

V={变量v65对冲突图着色

在冲突图中任取一个未着色的节点；

对该点着以与其相邻已着色点不同的颜色；

重复，直到所有节点均着色adxyo3o4uo7o5o10o8o6变量颜色号存储单元a1R1x2R2d3R3y4R4u5R5o36R6o47R7o56R6o66R6o77R7o87R7o105R5分配对冲突图着色

在冲突图中任取一个未着色的节点；

对该点着以与66III分配互连线路对每个功能单元和存储单元的各个输入端口，重复如下步骤：若连线个数m大于1，分配一个m输入端的多路器；将m根连线分别连接在多路器的m个输入端上；将多路器的输出连接在功能单元或存储单元的输入端口上总线的分配可在多路器分配前或后，根据某些（经验）规则将相关的连线合并成总线综上，产生如下数据通路III分配互连线路对每个功能单元和存储单元的各个输入端口，重67(+,<)*1*2—M1M2M3M4M5M6R2R3R1R4R6R5R73adyxCtrl不含控制信号的数据通路(+,<)*1*2—M1M2M3M4M5M6R2R3R1R68IV分配控制器的输出信号控制器的输出信号包括功能单元在每个控制步执行哪些操作；哪些存储单元加载；每个多路器的哪个输入端数据被选中IV分配控制器的输出信号控制器的输出信号包括69u+******<+--1234567891011xaydS1S2S3S4S5S6S7输入当前状态S1S2S3S4S5S6S7CtrlX01XXXXX输出次状态S2ENDS3S4S5S6S7S1(+,<)1XX1X1XXXXXXXX1X*11XX1X1XX*21XX1X1XX-XXXXX1X1R1:a0X000000R2:x1X000000R3:d0X000000R4:y0X0000X1R5:u,o100X000101R6: