Это выясняется очень просто: берётся растактовка, и по ней смотрится, что микропроцессор делает
по тем или иным фронтам и спадам.
Ну почему же, как раз проверяли. Времянки К580 отличаются в ряде случаев от i8080.
Но некоторые вещи они точно проверять бы не стали, поскольку им лучше чем кому-либо известно,
как работает этот микропроцессор по тактам, и каких фокусов с ним явно делать не следует...