Bbonjour ;

J'en ai besoin de parser un code VHDL pour un projet de vérification formelle.
Pour cela, j'utilise le Parser VAUL http://tams-www.informatik.uni-hambu...vhdl/vhdl.html

Je voudrai savoir si quelqu'un a déja utilisé ce parser puisque j'arrive pas à l'installer ( sur Debian) et je trouve pas beaucoup de Docs sur le net ( quelques Docs en allemand )

Merci ;