VHDL, HOL

[benzakki@lami.univ-evry.fr (Judith Benzakki)]

We are currently working on "Formal Specifications" for Hardware design.
We have already been working on VHDL, developping a parser with Centaur and
we are
looking for more informations on HOL, CHOL, HOL & VHDL ....

Could someone indicate to me, some pointers to these topics.

Thanks
Judith Benzakki
************ Laboratoire LaMI **************
          E-mail : benzakki@lami.univ-evry.fr
**************************************

 Judith Benzakki
 Dept. Mathematiques/Informatique
 Universite d'Evry Val d'Essonne
 Bd des coquibus
 91025 Evry, France

********** Tel : (33-1) 69 47 71 32 ***********
********** Fax : (33-1) 69 47 70 08 ***********