Finally I understand why all those years of Google searches for documentation about ACE (ADAPTIVE Communication
Environment)[1] have been so painful. To make matters worse, versioning was very close - Attempto is at version 6.7 while the programming ACE is at 6.5.
A friend of mine, who worked with Verilog a lot, was expressing some anger about extension .v on the Internet (Github?) mostly related to Coq, not Verilog. Oh well...
[1]: http://download.dre.vanderbilt.edu/