Post A0lWA09PIkr8Z5eXom by vertigo@mastodon.social
 (DIR) More posts by vertigo@mastodon.social
 (DIR) Post #A0lW9y9gijtONNljyi by vertigo@mastodon.social
       2020-11-01T20:10:14Z
       
       0 likes, 0 repeats
       
       OK.  I'd like to write some nMigen code to formally verify my ancient KCP53000 ALU design.  The one that takes up a full 1/5th the capacity of the LP8K FPGA?  Yeah, that one.Let's see how far I get.
       
 (DIR) Post #A0lWA09PIkr8Z5eXom by vertigo@mastodon.social
       2020-11-01T20:11:49Z
       
       0 likes, 0 repeats
       
       I will give myself four hours; then I'll need to move on to other things.
       
 (DIR) Post #A0lWA3nDlBUBrRIsnA by vertigo@hackers.town
       2020-11-01T20:30:36Z
       
       1 likes, 0 repeats
       
       @vertigo BOOM!Already, I discovered that my ALU design, despite successfully booting and running the KCP53000 processor for the Kestrel-2DX, cannot add properly.I absolutely swear by formal verification.I now have to wonder how the KCP53000 ever worked.