ELLA is a Hardware description language and support toolset. Developed by the Royal Signals and Radar Establishment during the 1980s and 1990s.
Includes tools to perform:
ELLA is a winner of the 1989 Queen's Award for Technological Achievement.
Sample originally from ftp://ftp.dra.hmg.gb/pub/ella - Public release.
Code for matrix multiplication hardware design verification: