6 Commits

Author	SHA1	Message	Date
nam	0a724d30d0	make sure the verification works	2020-10-23 19:27:49 -05:00
nam	5f18f8f88c	formal verification stuff	2020-10-23 19:09:57 -05:00
nam	e284e518ed	led walker	2020-10-23 15:50:04 -05:00
nam	66010c90d9	assign reg in always block	2020-10-23 15:18:09 -05:00
nam	400ebbb9aa	shift right as well	2020-10-23 14:50:34 -05:00
nam	45160b50a9	add tut3 folder, shift register code works	2020-10-23 14:42:07 -05:00