Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to [email protected])