1. A method for fail are analysis for an instruction set implementation in a computer system, the method comprising: running a test-case in a first and a second model; in response to a failure in at least one of the first model and the second model, determining if the test case failed in the first model; and in response to a failure in the first model, determining if the test case failed in the second model.