Eu estou indo para escrever um analisador de linguagem verilog (ou vhdl) e fará um monte de manipulações (tipo de transformações) dos dados analisados. Eu pretendo analisar arquivos realmente grandes (designs completos da Verilog, tão grandes quanto linhas de 10K) e eu vou apoiar a maior parte do Verilog. Não me importo de digitar, mas não quero reescrever qualquer parte do código sempre que adicionar suporte a alguma outra regra.

Em Haskell, qual biblioteca você recomendaria? Eu conheço o Haskell e já usei o Happy antes (para jogar). Eu sinto que há possibilidades em usar o Parsec para transformar a string analisada no código (o que é uma grande vantagem). Eu não tenho experiência com o uu-paringlib.

Então, para analisar uma gramática completa de verilog / VHDL qual deles é recomendado? Minha principal preocupação é a facilidade e "correção" com as quais posso manipular os dados analisados ​​a meu bel-prazer. A velocidade não é uma preocupação primária.