CMPUT329 - Fall 2003

Incompletely Specified State Tables

Slide 4

Slide 5

Slide 6

Slide 7

Slide 8

Slide 9

Slide 10

Slide 11

Slide 12

Do State Assignments Matter?

State and Output Equations for Asgn #1

Slide 15

Slide 16

Slide 17

Slide 18

Slide 19

Slide 20

State and Output Equations for Asgn #2

Slide 22

Slide 23

Slide 24

Slide 25

Slide 26

Slide 27

How to choose a state assignment?

Number of State Assignments

Slide 30

Slide 31

Number of State Assignments

Equivalent State Assignments (Definition 1)

Equivalent State Assignments (Definition 2)

Equivalent State Assignments (Example)

Number of Distinct State Assignments

Slide 37

Slide 38

Number of Distinct States Assignments

The Right Number of Distinct States

Finding an Optimal State Assignment

Distance Between States

Distance Between States (Example)

Slide 44

State Distance Graph

The Successor Rule

The Successor Rule (Example)

The Predecessor Rule

The Predecessor Rule (Example)

The Output Rule

The Output Rule (Example)

Slide 52

Slide 53

The Transition Rule

The Transition Rule (Example)

The State Ò0Ó Guideline

Successor Sets

Predecessor Sets

Sets and Output Partition (Example)

Slide 60

Obtaining Good State Assignments (Example)

The Successor DAG

The Predecessor DAG

The Output DAG

The Transition DAG

Combining DAGS

The Weight of the Rules

PowerPoint Presentation

How Asgn #2 and Asgn #2 measure up?

Matching Code Distances with the DAG

Where to Start the State Assignment?

Slide 73

The Weight of the States

The First State Assignment

The Second State Assignment

Incomplete Assignment Table

Slide 78

Slide 79

Slide 80

Selecting a State in the IAT

Selecting States in the IAT

Slide 83

Slide 84

Checking the State Distance Graph

Slide 86

Slide 87

Comparing Assignments #1, #2, and #3

State and Output Equations for Asgn #3

D2 Equations for Asgn #3

Comparing D2 Equation for Asgn #3 and Asgn #1

D1 Equations for Asgn #3

Comparing D1 Equation for Asgn #3 and Asgn #1

D0 Equations for Asgn #3

Comparing D0 Equation for Asgn #3 and Asgn #1

Z0 Equations for Asgn #3

Slide 97

Z1 Equations for Asgn #3

Slide 99

Slide 100

Comparing Equations for Asgns #1, #2, and #3

State of the Art for State Assignment

Slide 103

Where to find papers?

Author: Jose Nelson Amaral

E-mail: amaral@cs.ualberta.ca