示侧2: RS Latch 示例3:边语DFF ■ Normal inputs ■边沿DFF Y2.D+Y1.CLK ■S& R asserts ●3条反馈回 Y1: Y1.CLK+Y3.. CLX+Y2. 0) simultaneously Q ●断点数越少 分析所用状 示例3:电平型 竞争(Race) CLK D 个输入信号的变化,引起多个内部状态变量改 Y1Y2Y3000111 变,称之为发生了竞争 010010 非临界竞争 (Noncritical race),最终状态与状态变量变 临界竞争( Critical race),最终状态取决于状态变量变 OI I 化顺序和速度 1+CLK"+Y2·D Y3=￥1.cLK+Y1:Y3+ onl (D (I) (D) oN=Y3+Y.Y2.cuK状态转移表v1:Y2Y 示侧3:电平型 电平型弄步序电路 非临界竞争 ■考虑到器件延时,各反馈回路延迟不同。两个或 Y2Y0001 以上状态同时改变时,注意反馈回路之间的竞争 010010 ●非临界竞争( Noncritical race),结果可预测 000010010 011000 110 nIoE ●临界竞争( Critical race),结果不可预测 CLK从0到1的变化状态 ●允许非临界竞争 可能会经过001我010, 避免临界竞争 CLK从到1的变化状态从最终结果到达000或1 011时经过001或010, 最终结果都是到达0000①命 Y1:Y2*Y32 7 „Normal inputs „S & R asserts simultaneously 示例2：RS Latch 状态 不可预知 S Q R Q 8 示例3: 边沿DFF „边沿DFF z 3条反馈回路 z 断点数越少, 分析所用状 态数就越少 9 示例3：电平型 状态转移表 10 竞争(Race) „ 一个输入信号的变化，引起多个内部状态变量改 变，称之为发生了竞争 z 非临界竞争 (Noncritical race)，最终状态与状态变量变 化顺序无关 z 临界竞争 (Critical race)，最终状态取决于状态变量变 化顺序和速度 11 示例3：电平型 非临界竞争 临界竞争 CLK从0到1的变化, 状态从 011暂时经过001或010, 最终结果都是到达000 CLK从0到1的变化, 状态 可能会经过001或010, 最终结果到达000或111 12 „ 考虑到器件延时，各反馈回路延迟不同。两个或 以上状态同时改变时，注意反馈回路之间的竞争 z 非临界竞争 (Noncritical race)，结果可预测 z 临界竞争 (Critical race)，结果不可预测 „ 对竞争的处理 z 允许非临界竞争 z 避免临界竞争 电平型异步时序电路