Eg., this sort of analysis has been applied to CPUs where it renders incoherent/obviously false results.