This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full 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
- Summer '06