# Is there any general description language for block ciphers?

In page 9 (16 in the PDF) of Final report of European project IST-1999-12324 (NESSIE), it is mentioned that:

The NESSIE project is also developing a new generic tool to analyze block ciphers with differential [78] and linear cryptanalysis [422]. This tool is based on a general description language for block ciphers.

• Is this "description language" publicly available?
• Is there any other general description language for block ciphers or stream ciphers?
• Is This tool publicly available?
-

The analyzer tool mentioned there (which interprets the language and does some automated cryptanalysis) seems to be not public, though.