Проблемы в спецификации и реализации есть у всех (начнем например с С, но рекордсмен - С++).
В АДА есть ACATS - набор стандартных тестов который должен пройти компилер чтобы быть компилером АДА.
Еще когда на HDL начинал писАть, то просто был ошарашен как основные наработки АДА эффективно использовали в VHDL и верилоге.
Я догадываюсь что вы имели в виду когда сказали "лучшего качества кода", но этих качеств слишком много чтобы обобщать.
Коротко я сказал бы что АДА лучше С также как С лучше асма Но тому кто пишет на с и не понимает асма руку не пожму.