|
|
0a724d30d0
|
make sure the verification works
|
2020-10-23 19:27:49 -05:00 |
|
|
|
5f18f8f88c
|
formal verification stuff
|
2020-10-23 19:09:57 -05:00 |
|
|
|
e284e518ed
|
led walker
|
2020-10-23 15:50:04 -05:00 |
|
|
|
66010c90d9
|
assign reg in always block
|
2020-10-23 15:18:09 -05:00 |
|
|
|
70d8ea268e
|
simulate a few more cycles
|
2020-10-23 15:05:41 -05:00 |
|
|
|
400ebbb9aa
|
shift right as well
|
2020-10-23 14:50:34 -05:00 |
|
|
|
45160b50a9
|
add tut3 folder, shift register code works
|
2020-10-23 14:42:07 -05:00 |
|
