Цитата Сообщение от Titus Посмотреть сообщение
Поэтому тесты безусловно нужны и важны, и чем их больше, и разнообразнее, тем лучше, но гарантий 100% идентичности эмулятора дать они не могут.
Это так же, как с DSK-плагином - он корректно распознаёт кодировку всех имеющихся текстовых файлов во всех существующих образах, потому что ограниченное количество имеющихся файлов и образов позволяет на этапе тестирования проверить все варианты.

Если вентильная и абстрактная модели сохранят потактовую идентичность при любых тактовых частотах и задержках памяти для всех имеющихся программ - этого на практике будет вполне достаточно.