3504notes_p1 - You only compare states with stable states...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Merger diagram (lines connecting letters) List all possible combinations of sub-diagrams 5 compatibility classes from merger diagram 5 states needed Asynchronous Sequential Networks Need to make sure clock pulse is long enough for everything to happen Pulse-mode N ___________________ D ______∏___________ Q ______________∏___ Level-mode X1 _____ ──────────── _______ X2 ____________ ─────── ______ X3 ______________ ____________ Notes: page 96A – Asynch.pdf D T Y1 Y1+ 0 0 0 0 stable state 0 1 0 0 stable state 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 1 page 98 (notes) Transition table encoded reduced (state) table Reduced flow table Primitive Flow table: Incompletely specified state table Any combination with don’t cares will happen through compatibility not equality Page 102 (notes) Valid transitions: 00 01 00 10 From page 106 create many mini implication tables (mileage charts) to find equivalent states.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: You only compare states with stable states for the same input so as not to compare any dont cares with any known values We now make another implication table for compatibility When we make this implication table any 2 states that have a (different) stable state for the same input cannot be compatible because their outputs will be different for the same input All will be either compatible or not compatible upon inspection if we do this correctly This 2-step process is more efficient finding equivalence before compatibility 1 3 6 | | 7 4 2 14 Combine pairs together to cover entire merger diagram Leave 6 by itself to keep its fundamental mode dont-care...
View Full Document

Page1 / 2

3504notes_p1 - You only compare states with stable states...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online