4 Commits

Author	SHA1	Message	Date
Nam Tran	5f18f8f88c	formal verification stuff	2020-10-23 19:09:57 -05:00
Nam Tran	e284e518ed	led walker	2020-10-23 15:50:04 -05:00
Nam Tran	70d8ea268e	simulate a few more cycles	2020-10-23 15:05:41 -05:00
Nam Tran	45160b50a9	add tut3 folder, shift register code works	2020-10-23 14:42:07 -05:00