DACAPO

A broad-range hardware specification language.

"Mixed Level Modelling and Simulation of VLSI Systems", F. J. Rammig in Logic Design and Simulation, E. Horbst ed, North-Holland, 1986.