11.13资料.zip2401_88418901ZIP11.13资料.zip 2.58MB 立即下载资源文件列表:ZIP 11.13资料.zip 大约有3个文件 0504同步设计(1).pptx 1.36MB 0503同步分析(1).pptx 609.21KB 0503同步分析(2).pptx 744.63KB 资源介绍: 11.13资料.zip <link href="/image.php?url=https://csdnimg.cn/release/download_crawler_static/css/base.min.css" rel="stylesheet"/><link href="/image.php?url=https://csdnimg.cn/release/download_crawler_static/css/fancy.min.css" rel="stylesheet"/><link href="/image.php?url=https://csdnimg.cn/release/download_crawler_static/89991835/3/raw.css" rel="stylesheet"/><div id="sidebar" style="display: none"><div id="outline"></div></div><div class="pf w0 h0" data-page-no="1" id="pf1"><div class="pc pc1 w0 h0"><img alt="" class="bi x0 y0 w1 h1" src="/image.php?url=https://csdnimg.cn/release/download_crawler_static/89991835/bg1.jpg"/><div class="t m0 x1 h2 y1 ff1 fs0 fc0 sc0 ls0 ws0">设<span class="_ _0"></span>计<span class="_ _0"></span><span class="ff2 sc1">同步</span>时<span class="_ _0"></span><span class="ff2 sc1">序</span>逻<span class="_ _0"></span>辑<span class="_ _0"></span>电<span class="_ _0"></span><span class="ff2 sc1">路的一般步</span></div><div class="t m0 x1 h2 y2 ff1 fs0 fc0 sc0 ls0 ws0">骤</div></div><div class="pi" data-data='{"ctm":[1.000000,0.000000,0.000000,1.000000,0.000000,0.000000]}'></div></div><div id="pf2" class="pf w0 h0" data-page-no="2"><div class="pc pc2 w0 h0"><img class="bi x0 y0 w1 h1" alt="" src="/image.php?url=https://csdnimg.cn/release/download_crawler_static/89991835/bg2.jpg"><div class="t m0 x2 h3 y3 ff1 fs1 fc1 sc2 ls1 ws0">设<span class="_ _1"></span><span class="ls2">计<span class="_ _1"></span><span class="ff2 sc1">同步</span></span>时<span class="_ _1"></span><span class="ff2 sc1 ls2">序</span><span class="ls2">逻<span class="_ _1"></span>辑<span class="_ _1"></span></span>电<span class="_ _1"></span><span class="ff2 sc1 ls2">路的一<span class="ls3">般步</span></span></div><div class="t m0 x2 h3 y4 ff1 fs1 fc1 sc2 ls3 ws0">骤</div><div class="t m0 x3 h3 y5 ff2 fs1 fc2 sc1 ls1 ws0">同<span class="ls3">步<span class="ff1 sc3">时<span class="_ _1"></span></span>序<span class="ff1 sc3 ls4">逻<span class="_ _1"></span><span class="ls3">辑<span class="_ _1"></span>电<span class="_ _1"></span></span></span>路<span class="ls5">的</span><span class="ff1 sc3">设<span class="_ _1"></span>计<span class="_ _1"></span></span>任<span class="ff1 sc3 ls6">务<span class="_ _1"></span></span><span class="ls6">是</span></span></div><div class="t m0 x3 h4 y6 ff2 fs1 fc2 sc1 ls6 ws0">:</div><div class="t m0 x4 h5 y7 ff1 fs2 fc0 sc0 ls2 ws0">设<span class="_ _1"></span>计</div><div class="t m0 x5 h3 y8 ff1 fs1 fc1 sc2 ls1 ws0">实<span class="_ _1"></span><span class="ls3">现<span class="_ _1"></span>给<span class="_ _1"></span><span class="ff2 sc1">定</span></span></div><div class="t m0 x5 h3 y9 ff1 fs1 fc1 sc2 ls7 ws0">逻<span class="_ _1"></span><span class="ls4">辑<span class="_ _1"></span><span class="ff2 sc1 ls3">功能</span></span></div><div class="t m0 x5 h3 ya ff1 fs1 fc1 sc2 ls3 ws0">电<span class="_ _1"></span><span class="ff2 sc1 ls8">路</span></div><div class="t m0 x6 h3 yb ff2 fs1 fc1 sc1 ls1 ws0">根<span class="ls2">据<span class="ff1 sc2">实<span class="_ _1"></span>际<span class="_ _1"></span><span class="ls3">逻</span></span></span></div><div class="t m0 x6 h3 yc ff1 fs1 fc1 sc2 ls3 ws0">辑<span class="_ _1"></span><span class="ls4">问<span class="_ _1"></span>题<span class="_ _1"></span><span class="ff2 sc1">的<span class="ls2">要</span></span></span></div><div class="t m0 x6 h4 yd ff2 fs1 fc1 sc1 ls8 ws0">求</div><div class="t m0 x7 h3 ye ff2 fs1 fc3 sc1 ls4 ws0">基于<span class="ff3 ls9">SSIC<span class="ff1 sc4 ls1">设<span class="_ _1"></span><span class="ls2">计<span class="_ _1"></span>电<span class="_ _1"></span></span></span></span><span class="ls2">路<span class="ls5">的</span>最<span class="ff1 sc4">简<span class="_ _1"></span><span class="ls3">标<span class="_ _1"></span></span></span><span class="ls3">准:</span></span></div><div class="t m0 x6 h3 yf ff2 fs1 fc2 sc1 ls1 ws0">所<span class="ls3">用触<span class="ff1 sc3">发<span class="_ _1"></span></span></span>器<span class="ls3">和<span class="ff1 sc3">门<span class="_ _1"></span>电<span class="_ _1"></span></span></span>路<span class="ls3">的数目</span>最<span class="ls3">少,而</span>且<span class="ff1 sc3 ls3">输<span class="_ _1"></span></span><span class="ls3">入端</span>数<span class="ls3">目最少<span class="ls8">。</span></span></div></div><div class="pi" data-data='{"ctm":[1.000000,0.000000,0.000000,1.000000,0.000000,0.000000]}'></div></div><div id="pf3" class="pf w0 h0" data-page-no="3"><div class="pc pc3 w0 h0"><img class="bi x0 y0 w1 h1" alt="" src="/image.php?url=https://csdnimg.cn/release/download_crawler_static/89991835/bg3.jpg"><div class="t m0 x8 h3 y10 ff1 fs1 fc2 sc3 ls1 ws0">选<span class="_ _1"></span><span class="ls3">择<span class="_ _1"></span><span class="ff2 sc1">触</span>发</span></div><div class="t m0 x8 h4 y11 ff2 fs1 fc2 sc1 ls7 ws0">器</div><div class="t m0 x9 h3 y12 ff1 fs1 fc1 sc2 ls1 ws0">设<span class="_ _1"></span><span class="ls2">计<span class="_ _1"></span><span class="ff2 sc1">同步</span></span>时<span class="_ _1"></span><span class="ff2 sc1 ls2">序</span><span class="ls2">逻<span class="_ _1"></span>辑<span class="_ _1"></span></span>电<span class="_ _1"></span><span class="ff2 sc1 ls2">路的一<span class="ls3">般步</span></span></div><div class="t m0 x9 h3 y13 ff1 fs1 fc1 sc2 ls3 ws0">骤</div><div class="t m0 xa h3 y14 ff2 fs1 fc2 sc1 ls1 ws0">同<span class="ls3">步<span class="ff1 sc3">时<span class="_ _1"></span></span>序</span><span class="ff1 sc3">电<span class="_ _1"></span></span><span class="ls3">路的<span class="ff1 sc3">设<span class="_ _1"></span><span class="ls6">计<span class="_ _1"></span>过<span class="_ _1"></span></span></span><span class="ls6">程</span></span></div><div class="t m0 xb h4 y15 ff2 fs1 fc2 sc1 ls4 ws0">确<span class="ls3">定激<span class="ls8">励</span></span></div><div class="t m0 xb h3 y16 ff2 fs1 fc2 sc1 ls1 ws0">方<span class="ls3">程和<span class="ff1 sc3 ls8">输</span></span></div><div class="t m0 xb h4 y17 ff2 fs1 fc2 sc1 ls6 ws0">出方程</div></div><div class="pi" data-data='{"ctm":[1.000000,0.000000,0.000000,1.000000,0.000000,0.000000]}'></div></div><div id="pf4" class="pf w0 h0" data-page-no="4"><div class="pc pc4 w0 h0"><img class="bi x0 y0 w1 h1" alt="" src="/image.php?url=https://csdnimg.cn/release/download_crawler_static/89991835/bg4.jpg"><div class="t m0 x9 h3 y12 ff1 fs1 fc1 sc2 ls1 ws0">设<span class="_ _1"></span><span class="ls2">计<span class="_ _1"></span><span class="ff2 sc1">同步</span></span>时<span class="_ _1"></span><span class="ff2 sc1 ls2">序</span><span class="ls2">逻<span class="_ _1"></span>辑<span class="_ _1"></span></span>电<span class="_ _1"></span><span class="ff2 sc1 ls2">路的一<span class="ls3">般步</span></span></div><div class="t m0 x9 h3 y13 ff1 fs1 fc1 sc2 ls3 ws0">骤</div><div class="t m0 xc h6 y18 ff4 fs3 fc0 sc1 ls4 ws0">逻辑<span class="ff2">抽象</span></div><div class="t m0 xd h5 y19 ff5 fs4 fc2 sc1 ls0 ws0">•<span class="_ _2"> </span><span class="ff6 fs2">①<span class="ff2">分析<span class="ff1 sc3">给<span class="_ _1"></span></span>定的<span class="_ _3"></span><span class="ff1 sc3">逻<span class="_ _4"></span>辑<span class="_ _4"></span>问<span class="_ _4"></span>题<span class="_ _4"></span><span class="ff2 sc1">,确定</span>输<span class="_ _4"></span><span class="ff2 sc1">入、</span>输<span class="_ _4"></span><span class="ff2 sc1">出</span>变<span class="_ _4"></span><span class="ff2 sc1">量的数目和符号</span></span></span></span></div><div class="t m0 xe h7 y1a ff2 fs2 fc2 sc1 ls0 ws0">。</div><div class="t m0 xd h5 y1b ff5 fs4 fc2 sc1 ls0 ws0">•<span class="_ _2"> </span><span class="ff6 fs2">②<span class="ff2">找出所有可能的状<span class="ff1 sc3">态<span class="_ _4"></span></span>和状<span class="ff1 sc3">态<span class="_ _4"></span>转<span class="_ _4"></span>换<span class="_ _4"></span></span>之<span class="ff1 sc3">间<span class="_ _4"></span></span>的关系。</span></span></div><div class="t m0 xd h5 y1c ff5 fs4 fc2 sc1 ls0 ws0">•<span class="_ _2"> </span><span class="ff6 fs2">③<span class="ff2">根据<span class="ff1 sc3">题<span class="_ _4"></span></span>意建立原始状<span class="ff1 sc3">态<span class="_ _4"></span></span>表或画出原始状<span class="ff1 sc3">态<span class="_ _4"></span>图<span class="_ _4"></span></span>。</span></span></div><div class="t m0 xc h6 y1d ff2 fs3 fc0 sc1 lsa ws0">状<span class="ff4">态</span>化<span class="ff4">简</span></div><div class="t m0 xd h5 y1e ff5 fs4 fc2 sc1 ls0 ws0">•<span class="_ _2"> </span><span class="ff2 fs2">合并等价状<span class="ff1 sc3">态<span class="_ _4"></span></span>,消去多余状<span class="ff1 sc3">态<span class="_ _4"></span></span>的<span class="ff1 sc3">过<span class="_ _4"></span></span>程称<span class="ff1 sc3">为<span class="_ _4"></span></span>状<span class="ff1 sc3">态<span class="_ _4"></span></span>化<span class="ff1 sc3">简<span class="_ _4"></span></span>。</span></div><div class="t m0 xd h5 y1f ff5 fs4 fc3 sc1 ls0 ws0">•<span class="_ _2"> </span><span class="ff2 fs2">等价状<span class="ff1 sc4">态<span class="_ _4"></span></span>:<span class="fc2">在相同的<span class="ff1 sc3">输<span class="_ _4"></span></span>入下有相同的<span class="ff1 sc3">输<span class="_ _4"></span></span>出,并<span class="ff1 sc3">转<span class="_ _4"></span>换<span class="_ _4"></span></span>到同一个次<span class="ff1 sc3">态</span></span></span></div><div class="t m0 xe h5 y20 ff2 fs2 fc2 sc1 ls0 ws0">去<span class="ls5">的两个状<span class="ff1 sc3">态<span class="_ _4"></span></span>称<span class="ff1 sc3">为<span class="_ _4"></span></span>等价状<span class="ff1 sc3">态<span class="_ _4"></span></span><span class="ls8">。</span></span></div><div class="t m0 xc h6 y21 ff2 fs3 fc0 sc1 ls4 ws0">状<span class="ff4">态</span>分配</div><div class="t m0 xd h8 y22 ff7 fs4 fc3 sc1 ls1 ws0">•<span class="_ _2"> </span><span class="ff2 fs2">又称<span class="ff4">为</span>状<span class="ff4">态编码</span></span></div><div class="t m0 xd h5 y23 ff5 fs4 fc2 sc1 ls0 ws0">•<span class="_ _2"> </span><span class="ff1 fs2 sc3">给<span class="_ _4"></span><span class="ff2 sc1">每个状</span>态<span class="_ _4"></span>赋<span class="_ _4"></span><span class="ff2 sc1">以二</span>进<span class="_ _4"></span><span class="ff2 sc1">制代</span>码<span class="_ _4"></span><span class="ff2 sc1">的</span>过<span class="_ _4"></span><span class="ff2 sc1">程。</span></span></div><div class="t m0 xd h5 y24 ff5 fs4 fc2 sc1 ls5 ws0">•<span class="_ _2"> </span><span class="ff2 fs2">根据状<span class="ff1 sc3">态<span class="_ _4"></span></span>数确定触<span class="ff1 sc3">发<span class="_ _4"></span></span>器个数<span class="ls1">:<span class="ff8">2</span></span></span></div><div class="t m0 xf h9 y25 ff9 fs5 fc2 sc1 lsa ws0">n<span class="ff8">-1</span></div><div class="t m0 x10 ha y24 ff8 fs2 fc2 sc1 ls1 ws0"><<span class="ff9">M<span class="_ _4"></span></span>≤2</div><div class="t m0 x11 h9 y25 ff9 fs5 fc2 sc1 lsa ws0">n</div><div class="t m0 x12 h5 y24 ff6 fs2 fc2 sc1 lsb ws0">M:<span class="ff2 ls5">状<span class="ff1 sc3">态<span class="_ _4"></span></span><span class="ls8">数<span class="_ _5"> </span></span></span><span class="lsc">n:<span class="ff2 ls5">触<span class="ff1 sc3">发<span class="_ _4"></span></span>器个<span class="ls8">数</span></span></span></div></div><div class="pi" data-data='{"ctm":[1.000000,0.000000,0.000000,1.000000,0.000000,0.000000]}'></div></div>