Studies on computer performance evolution
functional approach to test generation and fault localisation of microprocessors using instruction petro nets