A functional level modelling language for digital simulation.

P. J. DesMarais, E. S. Y. Shew, Philip S. Wilcox

Browse the full DAC paper archive.