Catalan E (llenguatge de verificació) Cited by user VoltaQantic on 19 Apr 2024 e és un llenguatge de verificació de maquinari (HVL) que està dissenyat per implementar bancs de prova de verificació altament flexibles i reutilitzables.