Comment by blubber

How did you formally test this claim: "Even Kids can formalize the multivariate equation in Litex in 2 minutes"