FSM #2: state_reg
Summary
Graph |
Name |
Location |
Reset State |
States |
Unreachable States |
Deadlock States |
Livelock States |
Input Signals |
Output Signals |
|---|---|---|---|---|---|---|---|---|---|
state_reg |
2’00 |
Count: 4 |
Count: 0 |
Count: 0 |
Count: 0 |
6 |
5 |
Input Signals
Count: 6
Name |
Declaration |
|---|---|
address_next |
|
byte_we_next |
|
cache_tag_out |
|
cache_tag_reg |
|
mem_busy |
|
state |
Output Signals
Count: 5
Name |
Declaration |
|---|---|
cache_checking |
|
cache_miss |
|
cache_tag_reg |
|
state |
|
state_next |
Transitions
Count: 18
From |
To |
Input Control Signals |
|---|---|---|
2’00 |
2’00 |
address_next: |
2’00 |
2’01 |
address_next: |
2’00 |
2’11 |
address_next: |
2’01 |
2’00 |
address_next: |
2’01 |
2’00 |
cache_tag_out: |
2’01 |
2’01 |
address_next: |
2’01 |
2’10 |
cache_tag_out: |
2’01 |
2’11 |
address_next: |
2’10 |
2’00 |
address_next: |
2’10 |
2’01 |
address_next: |
2’10 |
2’10 |
mem_busy: |
2’10 |
2’11 |
address_next: |
2’10 |
2’11 |
mem_busy: |
2’11 |
2’00 |
address_next: |
2’11 |
2’00 |
mem_busy: |
2’11 |
2’01 |
address_next: |
2’11 |
2’11 |
address_next: |
2’11 |
2’11 |
mem_busy: |