Alexis Read wrote: > ... most circuits are designed in VHDL which is > a more primative precursor to maude. You can even probably write a > specification translator to move the hardware spec across to maude. Once I used some VHDL, so I'm curious to know the analogies between VHDL and Maude (hopingly not the excessive number of keywords). Maybe it would accelerate my learning process. Pietro