Day 13

Day 13 (22nd June 2019)

Today my objective is to iron out the bugs in the UART module so that it passes formal. Let’s see how close we can get…

So I implemented the changes according to the hint given in the slides and was able to make the txuart formal script pass. However the “Helloworld” top level does not pass yet, will look at this tomorrow.

Code at -