Это не будет доказательством, ибо сначала надо будет доказать, что эмулятор написан именно по логической схеме, а не по тому, как автор эмулятора ей понял.
Сообщение от Titus
Реализовать ее в Verilog'e, как любит Vslav и Yniky.
Уже есть. Поэтому совсем не понятно - кто будет ещё раз это делать?