Post #2750121

blehhh I think I'm gonna temporarily abandon my proof for the SRAM -> Wishbone B3 bus adapter for burst mode if I can't prove it by the end of next week SMT solver is a silly little goober, trying to generate tooootally spec invalid transactions even though the constraints list is like 2x larger than the actual module now lmao