Intermediate representations of concurrent VHDL-based specifications. - J. P. Castellano; A. Suarez; J. C. Bordon (PDP, 1997)