никляп (24.01.2023 08:56, просмотров: 2) ответил Evgeny_CD на Вообще нужен какой-то новый человеко и машино-читаемый язык. Язык,
который можно было бы формально проверить на отсутствие
противоречий. Чтобы на нем писать стандарты типа C++23. Машина
должна напрямую уметь интерпретировать такой зык и проверять,
скажем, исходник на соответствие ему и неким дополнительным
правилам. Пусть не очень быстро. Ручная кодировка всяких
"интеллектуализаторов" против "человеческого" стандарта это самое
уязвимое место современных программных-
- Этот ваш verilog сам мутант. - ЫЫyкпy(24.01.2023 09:04)