Characteristic polynomial method for verification and test of combinational circuits