Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.

(Send feeback to erik@mathmutation.com)