Language requirements for high-level synthesis. (15th October 1996)