2026年FPGA校招笔试里，用Verilog写「序列检测器」到底该用Moore还是Mealy？为什么面试官总追问重叠检测怎么改？

先说结论：笔试答题纸上的「标准写法」其实不是二选一，而是先把状态转移图写对，再决定用哪种输出。Moore 的输出只挂在状态上，波形整齐、好检查，代价是多一个状态、响应晚一个周期；Mealy 的输出挂在状态加输入上，省状态、快一拍，但输出会跟着输入抖动，写 Testbench 时容易看花眼。校招题只要没限定，我一般建议 Moore 打底，因为阅卷老师对着状态图数状态最省事，你也不容易在输出逻辑上翻车。至于重叠检测，核心就一句：匹配失败时不要一路退回 IDLE，而是回到「当前已匹配的最长前缀」对应的状态。比如检测 1101，收到 110 后再来一个 1，其实末尾的 11 已经是新前缀了，应该停在表示 11 的那个状态，而不是清零重来。画图时先把所有前缀列出来：空、1、11、110、1101，每个前缀一个状态，然后逐个输入推下一步，重叠自然就出来了。你现在仿真对不上，多半是某个失败跳转直接回了 IDLE，把状态图贴出来对着前缀表核一遍就清楚了。

我换个角度说，面试官追问重叠，考的不是你会不会背状态图，而是你有没有「最长前缀」这个意识。序列检测本质是模式匹配，KMP 那套思想在硬件里就是状态机：每个状态代表当前已经匹配上的最长前缀长度。你写 1101，状态就是 0、1、11、110、1101 五档，失败时看当前串的后缀能不能对上某个前缀，能对到哪就退到哪。所以「允许重叠」和「不允许重叠」的差别只在于检测成功之后往哪跳——不允许重叠就回 IDLE，允许重叠就回到最长前缀状态，通常是回到表示 1 的那个状态。选 Moore 还是 Mealy，我的经验是看题目怎么问：如果题目强调「输出与时钟对齐」「便于综合」，Moore 稳；如果说「响应快一拍」「减少状态数」，那就是在暗示 Mealy。但笔试里更稳的做法是 Moore 写主体、心里清楚 Mealy 怎么改，因为很多卷子会追一句「改成 Mealy 要动哪里」，你能答出「把输出从状态译码挪到状态加输入的组合逻辑」就够了。风险在于 Mealy 的输出是组合的，如果后面还接寄存器又没处理好，容易出现毛刺，仿真波形上看着就是输出比状态早变，别慌，那是对的。你现在的状态图能不能发出来看看？我想确认下你是卡在失败跳转还是卡在成功后的回跳。

这条我往深了讲，因为序列检测器看着简单，其实它是校招里少数能同时考「抽象建模、时序意识、边界处理」的题，值得你花一个下午彻底吃透，而不是背一版代码了事。

先建立因果：为什么会有 Moore 和 Mealy 之分？因为输出到底该由谁决定。Moore 说输出是状态的函数，状态是时序的，所以输出天然晚一拍、干净；Mealy 说输出是状态和输入的函数，组合逻辑直接出结果，所以快一拍、省状态，但输出路径上没有寄存器，毛刺和时序收敛都要多操一份心。放到笔试场景，阅卷和仿真都图省事，Moore 的状态图更直观，出错概率低，这是它成为「默认答案」的现实原因，不是它更高级。

再说重叠。很多人绕晕，是因为把状态当成「进度条」而不是「前缀集合」。正确的心智模型是：每个状态对应一个已匹配的最长前缀，输入来了就看「当前串加新输入」的末尾能不能对上某个前缀，对到哪个就跳哪个。检测 1101，前缀是空、1、11、110、1101；在 110 状态收到 1，末尾的 11 是新前缀，所以跳到 11 状态，不是回 IDLE，也不是停在 110。检测成功那一下，如果允许重叠，同样回到最长前缀状态，通常就是 1 状态。你仿真对不上，八成是这两处之一：失败跳转没做最长前缀，或者成功后直接清零。

工程上的取舍也顺带说一句：真实项目里如果模式长、要重叠，手写状态机会爆炸，常见做法是用移位寄存器加比较器，或者干脆用 RAM 存模式做通用匹配。但笔试不吃这套，笔试要的是你会画状态图、会写三段式、会在注释里写明「本设计允许重叠」。所以我的建议是：先按前缀法把 1101 的状态图手画三遍，画到不用想；再分别用 Moore 和 Mealy 各写一遍，对比波形差异；最后把「允许/不允许重叠」两种版本都跑一遍仿真存下来。面试问到，你直接讲前缀和最长匹配，比背代码有说服力得多。你目前是卡在画图这一步，还是卡在三段式里状态和输出的对应关系上？这两个的补法不太一样。

笔试没限定就写Moore，输出只挂状态，画图数状态最省事；重叠的关键不是背跳转表，而是记住匹配失败回「最长前缀」而不是回IDLE。你波形对不上，八成是某个失败分支写成清零了。你现在的状态图是自己画的还是抄的？

笔试里没限定就写Moore，输出只挂状态，画图数状态最省事。重叠的关键不是背跳转表，而是匹配失败回「最长前缀」而不是回IDLE。你波形对不上，八成是某个失败分支写成清零了。你现在的状态图是自己画的还是抄的？

先说个容易被忽略的点：校招笔试里Moore还是Mealy，很多时候不是技术优劣问题，而是阅卷成本问题。阅卷老师对着你一页纸的状态图数状态、对波形，Moore的输出跟时钟对齐、每个状态一个输出，肉眼扫一遍就懂；Mealy的输出挂在弧上，写「状态/输出」还得多看一层组合逻辑，稍微画潦草点就容易被判错。所以没限定的时候，我一般建议Moore打底，但这不代表Mealy不能写——如果题目明说「响应快一拍」或「减少状态数」，那其实是在暗示你写Mealy，硬写Moore反而显得没读懂题。

真正决定你能不能拿分的，其实是重叠检测那段跳转。我见过太多人状态图画得挺漂亮，一到「1101允许重叠」就翻车，原因基本都一样：把状态当成进度条，匹配失败就清零。正确的心智模型是「最长前缀」——每个状态代表当前已经匹配上的最长前缀，输入来了就看新串的末尾能不能对上某个前缀。拿1101举例，你收到110之后又来一个1，末尾的11本身就是前缀，应该停在表示11的那个状态，而不是回IDLE。

一个防翻车的土办法：画图前先把所有前缀列出来——空、1、11、110、1101，一个前缀一个状态，然后对每个状态分别喂0和1，问自己「现在末尾最长能对上哪个前缀」，答案就是下一个状态。这个流程慢，但基本不会错。

还有个风险要提醒：如果你用Mealy还允许重叠，输出是组合出来的，仿真波形上毛刺和输入抖动会一起出现，Testbench写得糙就容易看花眼，误以为逻辑错了。所以笔试阶段Moore更稳，Mealy留着自己心里清楚怎么改就行。你现在的状态图是自己推的还是参考了现成模板？

先说个我踩过的坑：很多人把「选 Moore 还是 Mealy」当成答题的第一步，其实顺序反了。正确的顺序是先画状态转移图，再决定输出挂哪。因为状态图本身跟 Moore/Mealy 无关，它描述的是「当前匹配到哪个前缀」，这一步对了，两种输出只是同一张图的两种标注方式。你仿真对不上，八成不是选错了类型，而是状态图里跳转画错了。

重叠检测的核心心智模型就一句：每个状态代表「当前已经匹配上的最长前缀」。检测 1101，前缀集合是空、1、11、110、1101，五个状态。关键在失败和成功之后的跳转：

收到 110 之后再来 1，串变成 1101，末尾的 1 同时是新前缀「1」，所以如果允许重叠，检测到之后不该回 IDLE，而是回到表示 1 的那个状态，下一个周期继续找 1101。

收到 11 之后来 0，变成 110，正常进入 110 状态；但如果收到 11 之后来 1，变成 111，末尾的 11 还是有效前缀，应该停在 11 状态而不是清零。

你波形对不上，最可能是把失败分支一律写成回 IDLE 了。拿张纸把所有前缀列出来，对每个状态、每种输入，问「加了这个输入之后，整个串的最长后缀前缀是谁」，答案就是下一状态。这个方法不用背跳转表，画一百遍也不会错。

至于笔试选哪个，我的判断维度是：题目没限定就 Moore 打底，因为输出只挂状态，波形干净、阅卷好数；题目里出现「响应快一拍」「减少状态数」「组合输出」这些词，就是在暗示 Mealy。答题纸上我一般先写状态转移图，再用三段式实现，并在注释里明确写一句「本设计允许重叠，检测成功后回到状态 S1 而非 IDLE」，阅卷老师一眼就知道你懂这个点。

你现在的状态图是自己推的还是照着答案背的？如果是背的，建议推一遍，重叠那部分立刻就不绕了。

我换个角度讲，面试官追问重叠，其实是在考你有没有「最长前缀」这个意识，而不是让你背跳转表。序列检测本质上是模式匹配，KMP 那套思想搬到硬件里就是状态机：每个状态对应已经匹配上的最长前缀长度。你写 1101，状态就是空、1、11、110、1101 五档，输入来了就看「当前串加新输入」的末尾能不能对上某个前缀，能对到哪就退到哪。

所以「允许重叠」和「不允许重叠」的差别，只在检测成功之后往哪跳：不允许重叠就回 IDLE，允许重叠就回到最长前缀状态，对 1101 来说通常是回到表示 1 的那个状态。你波形对不上，大概率是某个失败分支写成了清零。

答题纸上我的习惯是先画状态转移图，标清楚每个状态代表哪个前缀，再用三段式写，注释里注明重叠处理方式。Moore 还是 Mealy 反而是最后一步：没限定就 Moore 打底，题目说「快一拍」再考虑 Mealy。你先把状态图推一遍，重叠那部分立刻就不绕了。

先说个反常识的：笔试里纠结 Moore 还是 Mealy，其实是在纠结一个次要变量，真正决定你拿不拿分的，是那张状态转移图对不对。我见过太多人两种类型背得滚瓜烂熟，一到「1101 允许重叠」就翻车，根子不在输出逻辑，在于他心里把状态当成了进度条——匹配到哪一步，失败就清零重来。这个心智模型是错的。

正确的模型是「最长前缀」。你把要检测的串拆成所有前缀：空、1、11、110、1101，每个前缀就是一个状态。状态的含义不是「我走到第几步了」，而是「当前输入流的末尾，最长能对上哪个前缀」。为什么要这么想？因为序列检测本质是模式匹配，任何时刻你手里只有一段历史，硬件不可能回头重扫，只能靠状态记住「最有用的那点后缀信息」。KMP 算法里那个 next 数组，搬到硬件里就是这套状态跳转。

想通这一点，重叠不重叠的差别就只剩一句话：检测成功之后往哪跳。不允许重叠，回 IDLE，因为你要的是「一次完整匹配」；允许重叠，就回到「当前已匹配的最长前缀」对应的状态。对 1101 来说，检测成功时末尾那个 1 本身就是新前缀「1」，所以应该回到表示 1 的状态，下一个周期接着找。你波形对不上，八成就是这里写成了回 IDLE。

那 Moore 和 Mealy 怎么选？我一般先画状态图，因为状态图跟输出类型无关，它只描述跳转。图对了，Moore 就是把输出挂在状态上，Mealy 就是把输出挂在弧上，同一张图的两种标注而已。笔试没限定就用 Moore 打底，输出跟时钟对齐、波形干净、阅卷老师数状态最省事。如果题目明说「响应快一拍」或者「减少状态数」，那是在暗示 Mealy，硬写 Moore 反而显得没读懂题。答题时我会在注释里写清楚重叠处理方式，这一步很多人省掉，但阅卷的人一眼就能看出你到底是懂了还是蒙的。你现在那张状态图是自己推出来的，还是照着某份答案抄的？

先说结论：校招笔试里没限定就写Moore，但你要在答题纸上主动说明「若题目要求快一拍，可改为Mealy，输出挂在弧上」，这一句话往往比选哪个更值钱，因为它证明你两种都懂，只是按阅卷成本选了稳的。为什么Moore在笔试里更稳？输出只跟状态走，波形干净、跟时钟对齐，阅卷老师扫一眼状态图就能数状态、对输出，不用去追组合逻辑。Mealy省状态、快一拍是真的，但它把输出挂在跳转弧上，稍微画潦草一点，老师就得替你推理一遍，风险不在技术，在表达。

再说你波形对不上的事。重叠检测晕，八成不是Moore还是Mealy的问题，是你把状态当成了「进度条」。检测1101，状态不该理解成「我走到第几步」，而该理解成「当前输入流的末尾，最长能对上哪个前缀」。前缀集是空、1、11、110、1101，五个状态。关键在跳转：匹配到1101之后，如果允许重叠，别回IDLE，回到表示「1」的那个状态，因为刚吃进去的最后一位1本身就是新前缀。同理，110之后来个1变成1101，110之后来个0变成1100，末尾能对上的最长前缀是「11」？不对，是空——这种情况得老老实实退回。每个失败分支都按「新串末尾最长前缀」重算，而不是凭感觉清零。

通用画法给你一个偷懒但靠谱的流程：先把模式串的所有前缀列出来当状态，再对每个状态×每个输入（0和1）分别算「拼接后末尾能匹配的最长前缀」，箭头指过去，输出标在状态上（Moore）。这张表填完，图基本就出来了，重叠与否只改成功那一条弧。

你现在是自己推的表，还是直接抄的网上那版？如果是抄的，建议手推一遍1101不重叠版做对照，差异一眼就出来了。