Day 12 (21st June 2019)

A relatively short time span today as well. Today I tried formal methods. I tried running sby [SymbiYosys] but nobody told me that I also had to install the Yices SMT Solver to be able to run formal on the UART module. That took a significant chunk of time today trying to figure out the error. I also had to chase down a macOS Python bug that prevented me from running SBY on my system (this is fixed in Python 3.7.4, which is currently under rc and release soon - so I had to install the prerelease package), as I had a completely different set of errors from what was shown in the screenshot.

Now I see the errors as intended (the formal solver runs correctly), will get on to fixing them tomorrow.